Adding Disjunction to Datalog.

@inproceedings{DBLP:conf/pods/EiterGM94,
  author    = {Thomas Eiter and
               Georg Gottlob and
               Heikki Mannila},
  title     = {Adding Disjunction to Datalog},
  booktitle = {Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, May 24-26, 1994, Minneapolis,
               Minnesota},
  publisher = {ACM Press},
  year      = {1994},
  isbn      = {0-89791-642-5},
  pages     = {267-278},
  ee        = {http://doi.acm.org/10.1145/182591.182639, db/conf/pods/pods94-267.html},
  crossref  = {DBLP:conf/pods/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1994 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

• 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

[ASV90]

Serge Abiteboul, Eric Simon, Victor Vianu: Non-Deterministic Languages to Express Deterministic Transformations. PODS 1990: 218-229 BibTeX

[AV91]

Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991) BibTeX

[BLT92]

...

[BF92]

Nicole Bidoit, Christine Froidevaux: Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming. LICS 1987: 89-97 BibTeX

[CEG94]

Marco Cadoli, Thomas Eiter, Georg Gottlob: Default Logic as a Query Language. KR 1994: 99-108 BibTeX

[CH85]

Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15(1985) BibTeX

[CK73]

...

[Dix92]

Jürgen Dix: Classifying Semantics of Disjunctive Logic Programs. JICSLP 1992: 798-812 BibTeX

[EG93]

Thomas Eiter, Georg Gottlob: Complexity Aspects of Various Semantics for Disjunctive Databases. PODS 1993: 158-167 BibTeX

[Fag74]

...

[GL88]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX

[Gur88]

...

[HS91]

Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. J. Comput. Syst. Sci. 43(1): 219-267(1991) BibTeX

[IFI94]

...

[Joh90]

...

[Kan90]

...

[KP91]

Phokion G. Kolaitis, Christos H. Papadimitriou: Why not Negation by Fixpoint? J. Comput. Syst. Sci. 43(1): 125-144(1991) BibTeX

[KV90]

Phokion G. Kolaitis, Moshe Y. Vardi: On the Expressive Power of Datalog: Tools and a Case Study. PODS 1990: 61-71 BibTeX

[KV92]

Phokion G. Kolaitis, Moshe Y. Vardi: Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory. LICS 1992: 46-57 BibTeX

[LMR92]

...

[Lyn82]

James F. Lynch: Complexity Classes and Theories of Finite Models. Mathematical Systems Theory 15(2): 127-144(1982) BibTeX

[McC80]

...

[Min82]

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

[MV93]

David Maier, Bennet Vance: A Call to Order. PODS 1993: 1-16 BibTeX

[Prz88]

...

[Prz91]

Teodor C. Przymusinski: Stable Semantics for Disjunctive Programs. New Generation Comput. 9(3/4): 401-424(1991) BibTeX

[PY85]

Christos H. Papadimitriou, Mihalis Yannakakis: A Note on Succinct Representations of Graphs. Information and Control 71(3): 181-185(1986) BibTeX

[Sch90]

John S. Schlipf: The Expressive Powers of the Logic Programming Semantics. J. Comput. Syst. Sci. 51(1): 64-86(1995) BibTeX

[Ste91]

Iain A. Stewart: Complete Problems Involving Boolean Labelled Structures and Projection Transactions. J. Log. Comput. 1(6): 861-882(1991) BibTeX

[Sto77]

Larry J. Stockmeyer: The Polynomial-Time Hierarchy. Theor. Comput. Sci. 3(1): 1-22(1976) BibTeX

[Van87]

Dirk Van Gucht: On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model. PODS 1987: 302-312 BibTeX

[van90]

...

[Var82]

Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract). STOC 1982: 137-146 BibTeX

[vRS91]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650(1991) BibTeX

[VVAG92]

Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens: On the Completeness of Object-Creating Query Languages (Extended Abstract). FOCS 1992: 372-379 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. Thomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Datalog. ACM Trans. Database Syst. 22(3): 364-418(1997)
2. Marco Cadoli, Thomas Eiter, Georg Gottlob: Default Logic as a Query Language. IEEE Trans. Knowl. Data Eng. 9(3): 448-463(1997)
3. Domenico Saccà: Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries. ICDT 1995: 353-367
4. Piero A. Bonatti, Thomas Eiter: Querying Disjunctive Database Through Nonmonotonic Logics. ICDT 1995: 68-81
5. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents