The Range Form of Databases and Queries or: How to Avoid Floundering

We define the range form of deductive databases and queries. We prove that transformation into range form preserves logical equivalence. On the basis of the range form, we define the class of range restricted deductive databases and queries. SLDNF-resolution is used for query evaluation. We show that query evaluation of range restricted deductive databases and queries never flounders, and that range restricted is broader than comparable properties found in the literature.

[1]  Rodney W. Topor,et al.  Safety and correct translation of relational calculus formulas , 1987, PODS '87.

[2]  Mark Wallace,et al.  Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases , 1987, SLP.

[3]  Rodney W. Topor,et al.  Domain-Independent Formulas and Databases , 1987, Theor. Comput. Sci..

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

[5]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[6]  John W. Lloyd,et al.  A Basis for Deductive Database Systems , 1985, J. Log. Program..

[7]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[8]  John C. Shepherdson,et al.  Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption , 1984, J. Log. Program..

[9]  Raymond Reiter.  On the Integrity of Typed First Order Data Bases , 1979, Advances in Data Base Theory.

[10]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[11]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[12]  Helmut Simonis,et al.  Extending Equation Solving and Constraint Handling in Logic Programming , 1989 .

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

[14]  Hendrik Decker,et al.  Some Steps Towards a DBMS-based KBMS , 1986, IFIP Congress.

[15]  小林 功武.  Schema equivalence and consistency in database systems , 1988 .

[16]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..