Skip to main content
SpringerLink
Log in

Logic and databases

  • Part 2: Logic and Logic Programming
  • Conference paper
  • First Online:
Advanced Topics in Artificial Intelligence

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 617))

Abstract

Logic and databases have gone a long way together since the advent of relational databases. Already the first basic query languages for relational databases beside relational algebra — tuple calculus and domain calculus — are actually a subset of first order predicate logic. Furthermore logic proved to be very adequate for establishing a sound theory for relational databases.

When attempts were made to integrate AI and database technology in form of expert database systems or knowledge base management systems logic provided a unifying framework although several differences in the use of logic in the both fields have been discovered. The confluence of logic programming and databases triggered deductive databases as new area of research.

In this overview paper we will discuss shortly the relationship between relational databases and logic and present the possibilities for coupling Prolog with databases. The main part of this paper concentrates on deductive databases, in particular on the database language Datalog. We conclude by mentioning some facets of recent research on logic and databases. The goal of this paper is to provide an overview of the most relevant developments in the field and providing pointers to the literature.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Aho and J.Ullmann. Universality of data retrieval languages. In Proc. ACM Symp. on Principles of Programming Languages, 1979.

    Google Scholar 

  2. C. Beeri. Formal methods for object oriented databases. Data & Knowledge Engineering, 5, 1990.

    Google Scholar 

  3. F. Bancilhon, D. Maier, Y. Sagiv, and J.D. Ullmann. Magic sets and other strange ways to implement logic programs. In Proc. ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, 1986.

    Google Scholar 

  4. J. Bocca. On the evaluation strategy of EDUCE. In Proc. ACM SIGMOD Conf., 1986.

    Google Scholar 

  5. F. Bancilhon and R. Ramakrishnan. An amateur's introduction to recursive query processing. In Proc. ACM SIGMOD Conference, 1986.

    Google Scholar 

  6. C. Beeri and R. Ramakrishnan. On the power of Magic. In Proc. 6th ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, 1987.

    Google Scholar 

  7. F. Bancilhon and R. Ramakrishnan. Performance evaluation of data intensive logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, 1988.

    Google Scholar 

  8. F. Cuppens and R. Demolombe. A Prolog-relational DBMS interface using delayed evaluation. In C. Beeri, J.W. Schmidt, and U. Dayal, editors, Proc. 3rd Int. Conf. on Data and Knowledge Bases, Jerusalem, 1988.

    Google Scholar 

  9. S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer Verlag, New York, 1990.

    Google Scholar 

  10. S. Ceri, G. Gottlob, and L. Tanca. What you always wanted to know about Datalog (and never dared ask). IEEE Trans. on Knowledge and Data Eng., 1(1), 1989.

    Google Scholar 

  11. S. Ceri, G. Gottlob, and G. Wiederhold. Efficient database access through Prolog. IEEE Trans. on Software Engineering, 1989.

    Google Scholar 

  12. E. Codd. A relational model for large shared data banks. Communications of the ACM, 13(6), 1970.

    Google Scholar 

  13. E. Codd. Relational completeness of data base sublanguages. In R. Rustin, editor, Data Base Systems. Prentice-Hall, Englewood Cliffs, New Jersey, 1972.

    Google Scholar 

  14. C.L. Chan and A. Walker, PROSQL: A Prolog programming interface with SQL/DS. In L. Kerschberg, editor, Expert Database Systems. Bejamin-Cummings, 1986.

    Google Scholar 

  15. D. Denoel, et al. Query translation for coupling Prolog with a relational DBMS. In Workshop on Integration of Logic Programming ans Databases, Venice, 1986.

    Google Scholar 

  16. J. Eder, A. Rudloff, F. Matthes, and J.W. Schmidt. Data construction with recursive set expressions. In J. W. Schmidt and A.A. Stogny, editors, Next Generation Information System Technology, LNCS 504. Springer Verlag, 1991.

    Google Scholar 

  17. H. Gallaire, J. Minker, and J-M. Nicolas, editors. Advances to Database Theory, volume I. Plenum Press, 1981.

    Google Scholar 

  18. U. Güntzer, W. Kiessling, and R. Bayer. On the evaluation of recursion in (deductive) database systems by efficient differential fixpoint iteration. In Proc. 3rd Intern. Conf on Data Engineering. IEEE-CS Press, 1987.

    Google Scholar 

  19. H. Gallaire and J. Minker, editors. Logic and Databases. Plenum Press, 1978.

    Google Scholar 

  20. J. Grant and J. Minker. The impact of logic programming on databases. Comm. of the ACM, 35(3), 1992.

    Google Scholar 

  21. H. Gallaire, J. Minker, and J-M. Nicolas, editors. Advances in Database Theory, Vol II. Plenum Press, 1984.

    Google Scholar 

  22. H Gallaire, J. Minker, and J-M. Nicolas. Logic and databases: A deductive approach. ACM Computing Surveys, 2, 1984.

    Google Scholar 

  23. L. J. Henschen and S.A. Naqvi. On compiling queries in recursive first order databases. Journal of the ACM, 31(1), 1984.

    Google Scholar 

  24. J. Han, G. Qadahand, and C. Chaou. The processing and evaluation of transitive closure. In J.W. Schmidt et al., editor, Advances in Database Technology, LNCS 303. Springer Verlag, 1988.

    Google Scholar 

  25. M. Kifer and E. L. Lozinski. Filtering data flow in deductive database systems. In Proc. 1st Int. Conf. on Database Theory, Rome, 1986.

    Google Scholar 

  26. S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, New York, 1989.

    Google Scholar 

  27. A. Pirotte. High level database query languages. In Gallaire and Minker [GM78].

    Google Scholar 

  28. Quintus Computer Systems Inc., Mountain View, California. Quintus Prolog Data Base Interface Manual, 1987.

    Google Scholar 

  29. R. Ramakrishnan. Magic Templates, a spellbinding aproach to logic evaluation. In Proc. of the Logic Programming Conf., 1988.

    Google Scholar 

  30. R. Reiter. On closed world databases. In Gallaire and Minker [GM78].

    Google Scholar 

  31. Y. Sagiv. On testing effective computability of Magic programs. In C. Delobel, M Kiferd Y. Masunaga, editors, Proc. 2nd Int. Conf. Deductive and Object-Oriented Databases, volume 566 of LNCS. Springer Verlag, 1991.

    Google Scholar 

  32. D. Sacca and C. Zaniolo. Magic counting methods. In Proc. ACM SIGMOD Conf., 1988.

    Google Scholar 

  33. J. Ullman. Principles of Database and Knowledge-Base Systems, Vol. I+II. Computer Science Press, 1988/89.

    Google Scholar 

  34. J.D. Ullmann and C. Zaniolo. Deductive databases: Achievements and future directions. ACM SIGMOD Record, 19(4), 1990.

    Google Scholar 

  35. L. Vieille. Recursive axioms in deductive databases: The Query-Subquery approach. In L. Kerschberg, editor, Proc. Int. Conf. Expert Database Systems, Charlston, 1986.

    Google Scholar 

  36. L. Vieille. From QSQ to QoSaQ: Global optimization of recursive queries. In Proc. 2nd Int. Conf Expert Database Systems, Tyson Corner, 1988.

    Google Scholar 

  37. K.F. Wong and M.H. Williams. Design considerations for a Prolog database engine. In C. Beeri, J.W. Schmidt, and U. Dayal, editors, Proc. 3rd Intern. Conf. on Data and Knowledge Bases, Jerusalem, 1988.

    Google Scholar 

  38. C. Zaniolo. Prolog: A database language for all seasons. In L. Kerschberg, editor, Expert Database Systems. Benjamin-Cummings, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Klagenfurt, Universitätsstr. 65-67, A-9022, Klagenfurt, Austria

    Johann Eder

Authors
  1. Johann Eder
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Vladimír Mřrík Olga Štěpánková Rorbert Trappl

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Eder, J. (1992). Logic and databases. In: Mřrík, V., Štěpánková, O., Trappl, R. (eds) Advanced Topics in Artificial Intelligence. Lecture Notes in Computer Science, vol 617. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55681-8_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-55681-8_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55681-7

  • Online ISBN: 978-3-540-47271-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation