Filtering Data Flow in Deductive Databases

We investigate the question of how query optimization strategies devised for relational databases can be used for deductive databases. In particular, we show how the well known method of moving selections and projections down the parse trees of relational algebra expressions can be generalized to the case of deductive databases. The optimization is achieved by means of filtering data flow in the system.

[1]  Eugene Wong,et al.  Decomposition—a strategy for query processing , 1976, TODS.

[2]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

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

[4]  Chin-Liang Chang.  On Evaluation of Queries Containing Derived Relations in a Relational Data Base , 1979, Advances in Data Base Theory.

[5]  Stuart C. Shapiro,et al.  Inference with Recursive Rules , 1980, AAAI.

[6]  Harry B. Hunt,et al.  Processing Conjunctive Predicates and Queries , 1980, VLDB.

[7]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

[8]  Stuart C. Shapiro,et al.  Using Active Connection Graphs for Reasoning with Recursive Rules , 1981, IJCAI.

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

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

[11]  Eliezer L. Lozinskii,et al.  A Remark on Distributed Termination , 1985, ICDCS.

[12]  Carlo Zaniolo,et al.  On the implementation of a simple class of logic queries for databases , 1985, PODS.

[13]  Eliezer L. Lozinskii,et al.  Evaluating Queries in Deductive Databases by Generating , 1985, IJCAI.

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

[15]  Eliezer L. Lozinskii,et al.  A problem-oriented inferential database system , 1986, TODS.

[16]  R. Ramakrishnan,et al.  An amateur's introduction to recursive query processing strategies , 1986, SIGMOD '86.

[17]  Michael Kifer,et al.  Can We Implement Logic as a Database System? , 1986, XP7.52 Workshop on Database Theory.