论文信息 - A Basis for Deductive Database Systems II

A Basis for Deductive Database Systems II

Abstract This paper is the third in a series providing a theoretical basis for deductive database systems. A deductive database consists of closed typed first order logic formulas of the form A ← W, where A is an atom and W is a typed first order formula. A typed first order formula can be used as a query, and a closed typed first order formula can be used as an integrity constraint. Functions are allowed to appear in formulas. Such a deductive database system can be implemented using a PROLOG system. The main results of this paper are concerned with the nonfloundering and completeness of query evaluation. We also introduce an alternative query evaluation process and show that corresponding versions of the earlier results can be obtained. Finally, we summarize the results of the three papers and discuss the attractive properties of the deductive database system approach based on first order logic.

John W. Lloyd | Rodney W. Topor | J. Lloyd | R. Topor

[1] David H. D. Warren,et al. An Efficient Easily Adaptable System for Interpreting Natural Language Queries , 1982, CL.

[2] Elliott Mendelson,et al. Introduction to Mathematical Logic , 1979 .

[3] Verónica Dahl,et al. On database systems development through logic , 1982, TODS.

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

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

[6] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .

[7] 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..

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

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

[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] Rodney W. Topor,et al. Deductive Database Tools , 1985, Aust. Comput. J..

[13] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.

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

[15] John W. Lloyd,et al. An Introduction to Deductive Database Systems , 1983, Australian Computer Journal.