Specifying Closed World Assumptions for Logic Databases.

@inproceedings{DBLP:conf/mfdbs/BrassL89,
  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, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[BH86]

Nicole Bidoit, Richard Hull: Positivism vs. Minimalism in Deductive Databases. PODS 1986: 123-132 BibTeX

[Bra88]

...

[End72]

...

[GMN84]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[GP86]

Michael Gelfond, Halina Przymusinska: Negation as Failure: Careful Closure Procedure. Artif. Intell. 30(3): 273-287(1986) BibTeX

[GPP86]

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: The Extended Closed World Assumpution and its Relationship to Parallel Circumscription. PODS 1986: 133-139 BibTeX

[Men78]

...

[Min82]

Jack Minker: On Indefinite Databases and the Closed World Assumption. CADE 1982: 292-308 BibTeX

[Min88]

Jack Minker (Ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988, ISBN 0-934613-40-0
Contents BibTeX

[MP84]

Jack Minker, Donald Perlis: Applications of Protected Circumscription. CADE 1984: 414-425 BibTeX

[MP85]

Jack Minker, Donald Perlis: Computing Protected Circumscription. J. Log. Program. 2(4): 235-249(1985) BibTeX

[Rei78]

Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 BibTeX

[Rei80]

Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX

[She88]

John C. Shepherdson: Negation in Logic Programming. Foundations of Deductive Databases and Logic Programming. 1988: 19-88 BibTeX

[YH85]

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