On Closed World Data Bases
Deductive question-answering systems generally evaluate queries under one of two possible assumptions which we in this paper refer to as the open and closed world assumptions. The open world assumption corresponds to the usual first order approach to query evaluation: Given a data base DB and a query Q, the only answers to Q are those which obtain from proofs of Q given DB as hypotheses. Under the closed world assumption, certain answers are admitted as a result of failure to find a proof. More specifically, if no proof of a positive ground literal exists, then the negation of that literal is assumed true.
In this paper, we show that closed world evaluation of an arbitrary query may be reduced to open world evaluation of so-called atomic queries. We then show that the closed world assumption can lead to inconsistencies, but for Horn data bases no such inconsistencies can arise. Finally, we show how for Horn data bases under the closed world assumption purely negative clauses are irrelevant for deductive retrieval and function instead as integrity constraints.
KeywordsData Base Integrity Constraint Query Evaluation Empty Clause Closed World Assumption
Unable to display preview. Download preview PDF.
- 1.Clark, K.L.  Negation as Failure, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y., 1978, 293–322.Google Scholar
- 2.Codd, E.F.  Relational Completeness of Data Base Sublanguages, In Data Base Systems (R. Rustin, Ed.), Prentice-Hall, Englewood Cliffs, N.J., 1972, 65–98.Google Scholar
- 4.Hewitt, C.  Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot, AI Memo No. 251, MIT Project MAC., Cambridge, Mass., April 1972.Google Scholar
- 5.Nicolas, J.M. and Gallaire, H.  Data Bases: Theory vs. Interpretation, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, 1978, 33–54.Google Scholar
- 6.Nicolas, J. M. and Syre, J.C.  Natural Question Answering and Automatic Deduction in the System Syntex, Proceedings IFIP Congress 1974, Stockholm, Sweden, August, 1974.Google Scholar
- 7.Reiter, R.  An Approach to Deductive Question-Answering, BBN Report No. 3649, Bolt, Beranek and Newman, Inc., Cambridge, Mass., Sept. 1977.Google Scholar
- 8.Reiter, R.  Deductive Question-Answering on Relational Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y., 1978, 149–177.Google Scholar
- 10.Roussel, P.  PROLOG: Manuel de Reference et d’Utilisation, Groupe dfIntelligence Artificielle, U.E.R. de Luminy, Universite d’Aix-Marseille, Sept. 1975.Google Scholar
- 11.van Emden, M. H.  Computation and Deductive Information Retrieval, Dept. of Computer Science, University of Waterloo, Ont., Research Report CS-77–16, May 1977.Google Scholar