Backward Chaining Evaluation in Stratified Disjunctive Theories.

@inproceedings{DBLP:conf/pods/Royer90,
  author    = {V{\'e}ronique Royer},
  title     = {Backward Chaining Evaluation in Stratified Disjunctive Theories},
  booktitle = {Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on
               Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee},
  publisher = {ACM Press},
  year      = {1990},
  isbn      = {0-89791-352-3},
  pages     = {183-195},
  ee        = {http://doi.acm.org/10.1145/298514.298562, db/conf/pods/Royer90.html},
  crossref  = {DBLP:conf/pods/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• 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
• UNIX/LINUX/Mac: use mount point /pods8298/... 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
• UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

Printed Edition

Online Edition: ACM Digital Library

References

[ABW86]

...

[BS85]

...

[BM86]

François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 BibTeX

[Bry88]

François Bry: Logic Programming as Constructivism: A Formalization and its Application to Databases. PODS 1989: 34-50 BibTeX

[CL73]

...

[Dem89]

Robert Demolombe: An Efficient Strategy for Non-Horn Deductive Data Bases. IFIP Congress 1989: 325-330 BibTeX

[GPP89]

...

[Ker88]

...

[KVE76]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX

[Lif85]

...

[LKR86]

J. Rohmer, R. Lescoeur, Jean-Marc Kerisit: The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases. New Generation Comput. 4(3): 273-285(1986) BibTeX

[MaC80]

...

[Min82]

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

[MR87]

...

[MR88]

Jack Minker, Arcot Rajasekar: Procedural Interpretation of Non-Horn Logic Programs. CADE 1988: 278-293 BibTeX

[Prz86]

...

[Roy89]

Véronique Royer: Modeling Preference Choices in Incomplete Deductive Databases. IFIP Congress 1989: 673-678 BibTeX

[Roy90]

...