Beginnings of a Theory of General Database Completions.

@inproceedings{DBLP:conf/icdt/Brass90,
  author    = {Stefan Brass},
  editor    = {Serge Abiteboul and
               Paris C. Kanellakis},
  title     = {Beginnings of a Theory of General Database Completions},
  booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
               France, December 12-14, 1990, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {470},
  year      = {1990},
  isbn      = {3-540-53507-1},
  pages     = {349-363},
  ee        = {http://dx.doi.org/10.1007/3-540-53507-1_88},
  crossref  = {DBLP:conf/icdt/90},
  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

[BL89]

Stefan Brass, Udo W. Lipeck: Specifying Closed World Assumptions for Logic Databases. MFDBS 1989: 68-84

[Bra88]

...

[Bra90]

...

[Dav80]

Martin Davis: The Mathematics of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 73-80(1980)

[Gab85]

...

[GL89]

...

[GPP86]

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

[KLM90]

Sarit Kraus, Daniel J. Lehmann, Menachem Magidor: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artif. Intell. 44(1-2): 167-207(1990)

[Lif88]

Vladimir Lifschitz: On the Declarative Semantics of Logic Programs with Negation. Foundations of Deductive Databases and Logic Programming. 1988: 177-192

[Llo87]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7

[Luk85]

Witold Lukaszewicz: Two Results on Default Logic. IJCAI 1985: 459-461

[Mak89]

...

[McC80]

John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980)

[Min82]

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

[Mou85]

...

[Poo88]

David Poole: A Logical Framework for Default Reasoning. Artif. Intell. 36(1): 27-47(1988)

[Prz88]

Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216

[Rei78]

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

[Rei80]

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

[RT88]

Kenneth A. Ross, Rodney W. Topor: Inferring Negative Information from Disjunctive Databases. J. Autom. Reasoning 4(4): 397-424(1988)

[Sch76]

...

[Sho87]

Yoav Shoham: Nonmonotonic Logics: Meaning and Utility. IJCAI 1987: 388-393

[YH85]

Adnan H. Yahya, Lawrence J. Henschen: Deduction in Non-Horn Databases. J. Autom. Reasoning 1(2): 141-160(1985)