Inference by generating in deductive databases

Abstract A method, APEX , for query evaluation in deductive databases presented in this work is based on discovering of axioms and facts relevant to a given query. The notion of relevancy and migration of facts is derived from an analysis of data flow in the system. APEX is complete, and incorporates efficient query evaluation heuristics. Operation of APEX is illustrated by sample databases involving non-linear recursive axioms and cyclic relations. Main virtues of the method are its generality and adaptivity: it imposes no restrictions on the structure of axioms or the contents of relations, and it employs the knowledge of the actual data acquired at each step of a query evaluation.

[1]  Jack Minker,et al.  Search strategy and selection function for an inferential relational system , 1978, TODS.

[2]  Alfred Horn,et al.  On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.

[3]  Allen Van Gelder,et al.  A message passing framework for logical query evaluation , 1986, SIGMOD '86.

[4]  Michael Kifer,et al.  Implementing logic programs as a database system , 1987, 1987 IEEE Third International Conference on Data Engineering.

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

[6]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

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

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

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

[10]  Michael J. Fischer,et al.  A Note on the Average Time to Compute Transitive Closures , 1976, ICALP.

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

[12]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[13]  Michael J. Fischer,et al.  Boolean Matrix Multiplication and Transitive Closure , 1971, SWAT.

[14]  David Harel,et al.  Horn Clauses Queries and Generalizations , 1985, J. Log. Program..

[15]  Jean-Marie Nicolas,et al.  Data Base: Theory vs. Interpretation , 1977, Logic and Data Bases.

[16]  Carlo Zaniolo,et al.  Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic , 1987, ICLP.

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

[18]  Raymond Reiter,et al.  Deductive Question-Answering on Relational Data Bases , 1977, Logic and Data Bases.

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

[20]  Jean-Marie Nicolas,et al.  Integrity Checking in Deductive Data Bases , 1977, Logic and Data Bases.

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

[22]  Georges Gardarin,et al.  Evaluation of database recursive logic programs as recurrent function series , 1986, SIGMOD '86.

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

[24]  Jeffrey D. Ullman,et al.  Implementation of logical query languages for databases , 1985, TODS.

[25]  Jack Minker,et al.  On recursive axioms in deductive databases , 1983, Inf. Syst..

[26]  David E. Smith,et al.  Ordering Conjunctive Queries , 1985, Artif. Intell..

[27]  David H. D. Warren,et al.  Efficient Processing of Interactive Relational Data Base Queries expressed in Logic , 1981, VLDB.

[28]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[29]  Claus-Peter Schnorr,et al.  An Algorithm for Transitive Closure with Linear Expected Time , 1978, SIAM J. Comput..

[30]  Lawrence J. Henschen,et al.  Performing Inferences over Recursive Data Bases , 1980, AAAI.

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

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

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

[34]  Hongjun Lu,et al.  Some performance results on recursive query processing in relational database systems , 1986, 1986 IEEE Second International Conference on Data Engineering.

[35]  Suzanne W. Dietrich,et al.  Extension Tables: Memo Relations in Logic Programming , 1987, SLP.

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