ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Backward Chaining Evaluation in Stratified Disjunctive Theories.

Véronique Royer: Backward Chaining Evaluation in Stratified Disjunctive Theories. PODS 1990: 183-195
@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}
}
BibTeX
Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98. and ... Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. and ... BibTeX

Printed Edition

Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee. ACM Press 1990, ISBN 0-89791-352-3
Contents BibTeX

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]
...
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:34:00 2009