Generalized Bottom-Up Query Evaluation.

@inproceedings{DBLP:conf/edbt/BrassL92,
  author    = {Stefan Brass and
               Udo W. Lipeck},
  editor    = {Alain Pirotte and
               Claude Delobel and
               Georg Gottlob},
  title     = {Generalized Bottom-Up Query Evaluation},
  booktitle = {Advances in Database Technology - EDBT'92, 3rd International
               Conference on Extending Database Technology, Vienna, Austria,
               March 23-27, 1992, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {580},
  year      = {1992},
  isbn      = {3-540-55270-7},
  pages     = {88-103},
  ee        = {db/conf/edbt/BrassL92.html},
  crossref  = {DBLP:conf/edbt/92},
  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

[BL89]

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

[BL91]

Stefan Brass, Udo W. Lipeck: Semantice of Inheritance in Logical Object Specifications. DOOD 1991: 411-430 BibTeX

[BR86]

François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52 BibTeX

[Bra90]

Stefan Brass: Beginnings of a Theory of General Database Completions. ICDT 1990: 349-363 BibTeX

[Bry90]

François Bry: Query Evaluation in Deductive Databases: Bottom-Up and Top-Down Reconciled. Data Knowl. Eng. 5: 289-312(1990) BibTeX

[BS85]

Genevieve Bossu, Pierre Siegel: Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. Artif. Intell. 25(1): 13-63(1985) BibTeX

[CL73]

...

[Gin89]

Matthew L. Ginsberg: A Circumscriptive Theorem Prover. Artif. Intell. 39(2): 209-230(1989) BibTeX

[GP86]

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

[HPRV89]

...

[Llo87]

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

[McC80]

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

[McC86]

John McCarthy: Applications of Circumscription to Formalizing Common-Sense Knowledge. Artif. Intell. 28(1): 89-116(1986) BibTeX

[Min82]

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

[MP85]

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

[Prz88]

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

[Prz89]

Teodor C. Przymusinski: An Algorithm to Compute Circumscription. Artif. Intell. 38(1): 49-73(1989) BibTeX

[Rei78]

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

[RLM89]

Arcot Rajasekar, Jorge Lobo, Jack Minker: Weak Generalized Closed World Assumption. J. Autom. Reasoning 5(3): 293-307(1989) BibTeX

[RT88]

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

[Rya91]

Mark Ryan: Defaults and Revision in Structured Theories. LICS 1991: 362-373 BibTeX

[SS86]

Hans-Jörg Schek, Marc H. Scholl: The relational model with relation-valued attributes. Inf. Syst. 11(2): 137-147(1986) BibTeX

[Ull89]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX

[YH85]

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