Integrity and Recursion: Two Key Issues for Deductive Databases

In this paper we have tried to outline some of the main problems and some of the key results in two areas of research in deductive databases: integrity constraint handling and recursive query evaluation. Each of these topics has received strong attention in the research community up till now. In spite of a large amount of contributions published, the relevance of the problems addressed and solutions proposed has not yet been acknowledged accordingly. This might be due to the fact that most contributions are hard to read and understand as a consequence of their heavily formal style. By giving a presentation which is consciously a very informal one, we hope to reach a wider audience. In particular we aim at non-specialists in the AI as well as in the DB community, who might become interested in deductive database research once they have had the opportunity to enter the field without too high initial barriers.

[1]  L. Vielle,et al.  Recursive query processing: the power of logic , 1989 .

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

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

[4]  John Grant,et al.  Foundations of Semantic Query Optimization for Deductive Databases , 1988, Foundations of Deductive Databases and Logic Programming..

[5]  Michael J. Maher,et al.  Foundations of Deductive Databases and Logic Programming , 1988 .

[6]  Tomasz Imeilinski.  Intelligent query answering in rule based systems , 1987 .

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

[8]  John Mylopoulos,et al.  On Knowledge Base Management Systems , 1986, Topics in Information Systems.

[9]  Laurent Vieille,et al.  Recursive Query Processing: The Power of Logic , 1989, Theor. Comput. Sci..

[10]  Jack Minker.  Foundations of deductive databases and logic programming , 1988 .

[11]  J. Bocca,et al.  KB-PROLOG, a PROLOG for very large knowledge bases , 1990 .

[12]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[13]  Hendrik Decker,et al.  Integrity Enforcement on Deductive Databases , 1986, Expert Database Conf..

[14]  Lawrence J. Henschen,et al.  Maintaining state constraints in relational databases: a proof theoretic basis , 1989, JACM.

[15]  Alain Pirotte,et al.  Constraints for improving the generation of intentional answers in a deductive database , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

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

[17]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

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

[19]  Jack Minker,et al.  Perspectives in Deductive Databases , 1988, J. Log. Program..

[20]  Rainer Manthey.  Satisfiability of Integrity Constraints: Reflections on a Neglected Problem , 1990, FMLDO.

[21]  Hendrik Decker,et al.  A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases , 1988, EDBT.

[22]  Liz Sonenberg,et al.  Integrity Constraint Checking in Stratified Databases , 1987, J. Log. Program..

[23]  Gunter Saake,et al.  Monitoring dynamic integrity constraints based on temporal logic , 1987, Inf. Syst..

[24]  Z. Meral Özsoyoglu,et al.  A system for semantic query optimization , 1987, SIGMOD '87.

[25]  John Mylopoulos.  On knowledge base management systems , 1986 .

[26]  Jeffrey D. Ullman,et al.  Bottom-up beats top-down for datalog , 1989, PODS '89.

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

[28]  François Bry,et al.  Query Evaluation in Recursive Databases , 1990 .

[29]  John Mylopoulos,et al.  Foundations of Knowledge Base Management , 1989, Topics in Information Systems.

[30]  Richard R. Muntz,et al.  Implicit Representation for Extensional Answers , 1988, Expert Database Conf..

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

[32]  Amihai Motro.  Using Integrity Constraints to Provide Intensional Answers to Relational Queries , 1989, VLDB.

[33]  Wolfgang Nejdl,et al.  Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy , 1987, VLDB.

[34]  Udo W. Lipeck,et al.  Transformation of Dynamic Integrity Constraints into Transaction Specifications , 1990, Theor. Comput. Sci..

[35]  Laurent Vieille,et al.  On Deductive Query Evaluation in the DedGin* System , 1989, DOOD.

[36]  Hisao Tamaki,et al.  OLD Resolution with Tabulation , 1986, ICLP.

[37]  Tomasz Imielinski,et al.  Intelligent Query Answering in Rule Based Systems , 1988, J. Log. Program..

[38]  François Bry,et al.  SATCHMO: A Theorem Prover Implemented in Prolog , 1988, CADE.

[39]  Philip A. Bernstein,et al.  Fast methods for testing quantified relational calculus assertions , 1982, SIGMOD '82.

[40]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.

[41]  Frédéric Cuppens,et al.  Cooperative Answering: A Methodology to Provide Intelligent Access to databases , 1988, Expert Database Conf..