Skip to main content
SpringerLink
Log in

Adding Inferencing to a Relational Database Management System

  • Conference paper
Datenbanksysteme in Büro, Technik und Wissenschaft

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 204))

Abstract

The LogiQuel System is a deductive DBMS which supports the management of clauses expressed in LogiQuel, a language with the expressive power of extended Datalog with negation. The inference mechanism used to evaluate LogiQuel queries is both sound and complete under the tight-tree semantics. The system is implemented on top of a commercial relational DBMS. After a brief overview of LogiQuel we show how a LogiQuel statement is translated into SQL for subsequent evaluation by the DBMS.

Kurzfassung

Das LogiQuel System ist ein deduktives Datenbanksystem, das die Verwaltung von Klauseln unterstützt, Dazu wird die Sprache LogiQuel, die erweitertem Datalog mit Negation entspricht, verwendet Der Inferenzmechanismus, der zur Evaluation von LogiQuel Abfragen verwendet wird, ist korrekt und vollständig bezüglich der “Tight-Tree” Semantik:. Das System wurde auf der Basis eines kommerziellen relationalen Datenbanksystems implementiert. Nach einem kurzen Überblick über LogiQuel wird gezeigt, wie LogiQuel Anweisungen in entsprechende SQL Anweisungen übersetzt und anschliessend vom Datenbanksystem ausgewertet werden.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Bancilhon and R. Ramakrishnan: An Amateur’s Introduction to Recursive Query Processing Strategies. Proc. ACM SIGMOD Int. Conf. on Management of Data, pp. 16–52,1986.

    Google Scholar 

  2. W.F. Clocksin and C.S. Mellish: Programming in Prolog. 3rd Edition. Springer Verlag, 1987.

    MATH  Google Scholar 

  3. C.J. Date: A Guide to the SQL Standard. Addison Wesley, 1987.

    Google Scholar 

  4. H. Gallaire, J. Minker and J.-M. Nicolas: Logic and Databases: A Deductive Approach. ACM Computing Surveys, Vol. 16, No. 2, 1984.

    Google Scholar 

  5. J.W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer Verlag, 1987.

    Book  MATH  Google Scholar 

  6. Oracle Corporation: Oracle Overview and Introduction to SQL. Oracle Part No. 3801,1987.

    Google Scholar 

  7. R. Reiter: Deductive Question Answering on Relational Databases. Logic and Databases, pp. 149–177, Plenum Press, 1978.

    Google Scholar 

  8. A. Van Gelder: Negation as Failure Using Tight Derivations for General Logic Programs. Foundations of Deductive Databases and Logic Programming, J. Minker (Ed.), Morgan Kaufmann, pp. 149–176,1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informationssysteme, ETH-Zentrum, 8092, Zürich, Switzerland

    R. Marti, C. Wieland & B. Wüthrich

Authors
  1. R. Marti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Wieland
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. B. Wüthrich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität Kaiserslautern, Erwin-Schrödinger-Straße, D-6750, Kaiserslautern, Deutschland

    Theo Härder

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Marti, R., Wieland, C., Wüthrich, B. (1989). Adding Inferencing to a Relational Database Management System. In: Härder, T. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik-Fachberichte, vol 204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74571-3_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-74571-3_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50894-6

  • Online ISBN: 978-3-642-74571-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation