Journal of Computer Science and Technology

, Volume 7, Issue 4, pp 289–294 | Cite as

An algorithm for determining database consistency under the closed world assumption

  • Yidong Shen
Regular Papers


It is well-known that there are circumstances where applying Reiter's closed world assumption (CWA) will lead to logical inconsistencies. In this paper, a new characterization of the CWA consistency is pesented and an algorithm is proposed for determining whether a datalase without function symbols is consistent with the CWA. The algorithm is shown to be efficient.


Minimal Model Sequential Machine Ground Atom Deductive Database State Subset 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Reiter, R., On Closed World Data Bases. in Logic and Databases (H. Gallaire and J. Minker, Eds.), Plenum, New York, 1978, 55–76.Google Scholar
  2. [2]
    Shepherdson, J. C., Negation in Logic Programming. in Foundations of Deductive Databases and Logic Programming (J. Minker, Ed.). Morgan Kaufmann Publishers, Los Altos, CA, 1988, 19–88.Google Scholar
  3. [3]
    van Emden, M. H., Computation and Deductive Information Retrieval. in Formal Description of Programming Concepts (E. Neuhold, Ed.). North-Holland, Armsterdam, 1978, 421–440.Google Scholar
  4. [4]
    van Emden, M. H. and Kowalski, R. A., The semantics of predicate logic as a programming language.JACM, 1976, 23, 733–742.MATHCrossRefGoogle Scholar
  5. [5]
    Bossu, G. and Siegel, P., Saturation, nonmonotonic reasoning and the closed world assumption.Artificial Intelligence, 1985, 25(1), 13–63.MATHCrossRefMathSciNetGoogle Scholar
  6. [6]
    Ahc, A. V., Hopcroft, J. E. and Ullman, J. D., The Design and Analysis of Computer Algorithm. Addison-Wesley Publishing Company, 1976.Google Scholar

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 1992

Authors and Affiliations

  • Yidong Shen
    • 1
  1. 1.Dept. of Computer ScienceChongqing UniversityChongqing

Personalised recommendations