Logic and Databases

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.

[1]  Catriel Beeri,et al.  A Formal Approach to Object-Oriented Databases , 1990, Data Knowl. Eng..

[2]  Laurent Vieille.  From QSQ towards QoSaQ: Global Optimization of Recursive Queries , 1988, Expert Database Conf..

[3]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[4]  Carlo Zaniolo,et al.  Magic counting methods , 1987, SIGMOD '87.

[5]  Jiawei Han,et al.  The Processing and Evaluation of Transitive Closure Queries , 1988, EDBT.

[6]  Kam-Fai Wong,et al.  Design Considerations for a Prolog Database Engine , 1988, JCDKB.

[7]  Frédéric Cuppens,et al.  A Prolog-Relational DBMS Interface Using Delayed Evaluation , 1988, JCDKB.

[8]  Letizia Tanca,et al.  What you Always Wanted to Know About Datalog (And Never Dared to Ask) , 1989, IEEE Trans. Knowl. Data Eng..

[9]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[10]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[11]  Laurent Vieille,et al.  Recursive Axioms in Deductive Databases: The Query/Subquery Approach , 1986, Expert Database Conf..

[12]  Werner Kießling,et al.  On the Evaluation of Recursion in (Deductive) Database Systems by Efficient Differential Fixpoint Iteration , 1987, ICDE.

[13]  Matthias Jarke,et al.  Logic Programming and Databases , 1984, Expert Database Workshop.

[14]  Carlo Zaniolo,et al.  Deductive databases: achievements and future directions , 1990, SGMD.

[15]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[16]  Georg Gottlob,et al.  Efficient Database Access from Prolog , 1989, IEEE Trans. Software Eng..

[17]  John Grant,et al.  The impact of logic programming on databases , 1992, CACM.

[18]  Lawrence J. Henschen,et al.  On compiling queries in recursive first-order databases , 1984, JACM.

[19]  Adrian Walker,et al.  PROSQL: A Prolog Programming Interface with SQL/DS , 1984, Expert Database Workshop.

[20]  Raghu Ramakrishnan,et al.  Performance Evaluation of Data Intensive Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[21]  Jorge B. Bocca.  On the evaluation strategy of EDUCE , 1986, SIGMOD '86.

[22]  Catriel Beeri,et al.  On the power of magic , 1987, J. Log. Program..

[23]  J. Eder,et al.  Data Construction with Recursive Set Expressions , 1990, East/West Database Workshop.

[24]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[25]  Alfred V. Aho,et al.  Universality of data retrieval languages , 1979, POPL.

[26]  Michael Kifer,et al.  Filtering Data Flow in Deductive Databases , 1986, ICDT.

[27]  Yehoshua Sagiv,et al.  On Testing Effective Computability of Magic Programs , 1991, DOOD.

[28]  E. F. Codd,et al.  Relational Completeness of Data Base Sublanguages , 1972, Research Report / RJ / IBM / San Jose, California.

[29]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .