Specifying Closed World Assumptions for Logic Databases.

Stefan Brass, Udo W. Lipeck: Specifying Closed World Assumptions for Logic Databases. MFDBS 1989: 68-84
  author    = {Stefan Brass and
               Udo W. Lipeck},
  editor    = {J{\'a}nos Demetrovics and
               Bernhard Thalheim},
  title     = {Specifying Closed World Assumptions for Logic Databases},
  booktitle = {MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database
               Systems, Visegr{\'a}d, Hungary, June 26-30, 1989},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {364},
  year      = {1989},
  isbn      = {3-540-51251-9},
  pages     = {68-84},
  ee        = {db/conf/mfdbs/BrassL89.html},
  crossref  = {DBLP:conf/mfdbs/89},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


Nicole Bidoit, Richard Hull: Positivism vs. Minimalism in Deductive Databases. PODS 1986: 123-132 BibTeX
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
Michael Gelfond, Halina Przymusinska: Negation as Failure: Careful Closure Procedure. Artif. Intell. 30(3): 273-287(1986) BibTeX
Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. PODS 1986: 133-139 BibTeX
Jack Minker: On Indefinite Databases and the Closed World Assumption. CADE 1982: 292-308 BibTeX
Jack Minker (Ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988, ISBN 0-934613-40-0
Contents BibTeX
Jack Minker, Donald Perlis: Applications of Protected Circumscription. CADE 1984: 414-425 BibTeX
Jack Minker, Donald Perlis: Computing Protected Circumscription. J. Log. Program. 2(4): 235-249(1985) BibTeX
Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 BibTeX
Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX
John C. Shepherdson: Negation in Logic Programming. Foundations of Deductive Databases and Logic Programming. 1988: 19-88 BibTeX
Adnan H. Yahya, Lawrence J. Henschen: Deduction in Non-Horn Databases. J. Autom. Reasoning 1(2): 141-160(1985) BibTeX

Referenced by

  1. Stefan Brass, Udo W. Lipeck: Generalized Bottom-Up Query Evaluation. EDBT 1992: 88-103
  2. Stefan Brass: Beginnings of a Theory of General Database Completions. ICDT 1990: 349-363
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:29:37 2009