Semantics of Disjunctive Deductive Databases.

@inproceedings{DBLP:conf/icdt/FernandezM92,
  author    = {Jos{\'e} Alberto Fern{\'a}ndez and
               Jack Minker},
  editor    = {Joachim Biskup and
               Richard Hull},
  title     = {Semantics of Disjunctive Deductive Databases},
  booktitle = {Database Theory - ICDT'92, 4th International Conference, Berlin,
               Germany, October 14-16, 1992, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {646},
  year      = {1992},
  isbn      = {3-540-56039-4},
  pages     = {21-50},
  ee        = {db/conf/icdt/FernandezM92.html},
  crossref  = {DBLP:conf/icdt/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

[ABW88]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[AvE82]

Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982) BibTeX

[BE89]

Alexander Borgida, David W. Etherington: Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. KR 1989: 33-43 BibTeX

[Bis81a]

Joachim Biskup: A Formal Approach to Null Values in Database Relations. Advances in Data Base Theory 1979: 299-341 BibTeX

[Bis81b]

Joachim Biskup: A Foundation of Codd's Relational Maybe-Operations. ACM Trans. Database Syst. 8(4): 608-636(1983) BibTeX

[BLM89a]

...

[BLM89b]

Chitta Baral, Jorge Lobo, Jack Minker: Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE 1990: 102-116 BibTeX

[BLM90a]

...

[BLM90b]

...

[BLM91]

Chitta Baral, Jorge Lobo, Jack Minker: WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS 1991: 459-468 BibTeX

[BS85]

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

[CH85]

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

[CH88]

Shan Chi, Lawrence J. Henschen: Recursive Query Answering with Non-Horn Clauses. CADE 1988: 294-312 BibTeX

[Cha89]

...

[Cla78]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[Cod79]

E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX

[CS90]

Jan Chomicki, V. S. Subrahmanian: Generalized Closed World Assumptions is Pi^0_2-Complete. Inf. Process. Lett. 34(6): 289-291(1990) BibTeX

[Dal92]

...

[Dec91a]

...

[Dec91b]

Hendrik Decker: On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories. DAISD 1991: 149-173 BibTeX

[FLMS91]

...

[FM91a]

José Alberto Fernández, Jack Minker: Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases. ICLP 1991: 660-675 BibTeX

[FM91b]

...

[FUV83]

Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX

[FUV89]

Francesca Rossi, Shamim A. Naqvi: Contributions to the View Update Problem. ICLP 1989: 398-415 BibTeX

[GHLM92]

...

[GL88]

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

[GL90a]

Michael Gelfond, Vladimir Lifschitz: Logic Programs with Classical Negation. ICLP 1990: 579-597 BibTeX

[GL90b]

Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases. New Generation Comput. 8(1): 71-89(1990) BibTeX

[GL91]

Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases II. New Generation Comput. 10(1): 73-100(1991) BibTeX

[GM78]

Hervé Gallaire, Jack Minker (Eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory Plemum Press 1978, ISBN 0-306-40060-X
Contents BibTeX

[GMN84]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[GPP86]

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

[GPP89]

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusinski: On the Relationship Between Circumscription and Negation as Failure. Artif. Intell. 38(1): 75-94(1989) BibTeX

[Gra77]

John Grant: Null Values in a Relational Data Base. Inf. Process. Lett. 6(5): 156-157(1977) BibTeX

[Hil74]

...

[HP88]

Lawrence J. Henschen, Hyung-Sik Park: Compiling the GCWA in Indefinite Deductive Databases. Foundations of Deductive Databases and Logic Programming. 1988: 395-438 BibTeX

[IL84]

Tomasz Imielinski, Witold Lipski Jr.: Incomplete Information in Relational Databases. J. ACM 31(4): 761-791(1984) BibTeX

[Imi91]

Tomasz Imielinski: Incomplete Deductive Databases. Ann. Math. Artif. Intell. 3(2-4): 259-293(1991) BibTeX

[IV89]

Tomasz Imielinski, Kumar V. Vadaparty: Complexity of Query Processing in Databases with OR-Objects. PODS 1989: 51-65 BibTeX

[Kow78]

Robert A. Kowalski: Logic for Data Description. Logic and Data Bases 1977: 77-103 BibTeX

[Lif86]

Vladimir Lifschitz: Pointwise Circumscription: Preliminary Report. AAAI 1986: 406-410 BibTeX

[Lip81]

Witold Lipski Jr.: On Databases with Incomplete Information. J. ACM 28(1): 41-70(1981) BibTeX

[Llo87]

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

[LMR92]

...

[LS90a]

Ken-Chih Liu, Rajshekhar Sunderraman: Indefinite and Maybe Information in Relational Databases. ACM Trans. Database Syst. 15(1): 1-39(1990) BibTeX

[LS90b]

Ken-Chih Liu, Rajshekhar Sunderraman: On Representing Indefinite and Maybe Information in Relational Databases: A Generalization. ICDE 1990: 495-502 BibTeX

[LYW92]

...

[McC80]

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

[MG86]

John Grant, Jack Minker: Answering Queries in Indefinite Databases and the Null Value Problem. Advances in Computing Research 3: 247-267(1986) BibTeX

[Min82]

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

[Min86]

...

[Min88]

Jack Minker: Perspectives in Deductive Databases. J. Log. Program. 5(1): 33-60(1988) BibTeX

[Min89]

Jack Minker: Toward A Foundation of Disjunctive Logic Programming. NACLP 1989: 1215-1235 BibTeX

[MR87]

...

[MR90]

Jack Minker, Arcot Rajasekar: A Fixpoint Semantics for Disjunctive Logic Programs. J. Log. Program. 9(1): 45-74(1990) 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

[Prz90a]

Teodor C. Przymusinski: Stationary Semantics for Disjunctive Logic Programs and Deductive Databases. NACLP 1990: 40-59 BibTeX

[Prz90b]

Teodor C. Przymusinski: Extended Stable Semantics for Normal and Disjunctive Programs. ICLP 1990: 459-477 BibTeX

[Rei78]

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

[Rei84]

...

[Rei86]

Raymond Reiter: A sound and sometimes complete query evaluation algorithm for relational databases with null values. J. ACM 33(2): 349-370(1986) BibTeX

[Rei90]

Raymond Reiter: What Should a Database Know? ICLP 1990: 765 BibTeX

[Ros89]

Kenneth A. Ross: The Well Founded Semantics for Disjunctive Logic Programs. DOOD 1989: 385-402 BibTeX

[Sak89]

Chiaki Sakama: Possible Model Semantics for Disjunctive Databases. DOOD 1989: 369-383 BibTeX

[Suc89]

...

[Ull88a]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[Ull88b]

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

[Van88]

Allen Van Gelder: Negation as Failure Using Tight Derivations for General Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 149-176 BibTeX

[Var82]

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

[Vas79]

Yannis Vassiliou: Null Values in Data Base Management: A Denotational Semantics Approach. SIGMOD Conference 1979: 162-169 BibTeX

[vEK76]

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

[VRS88]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230 BibTeX

[YC89]

Li-Yan Yuan, Ding-An Chiang: A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information. PODS 1989: 66-74 BibTeX

[YH85]

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

[Zan]

Carlo Zaniolo: Database Relations with Null Values. J. Comput. Syst. Sci. 28(1): 142-166(1984) BibTeX

Referenced by

1. Sergio Greco: Binding Propagation in Disjunctive Databases. VLDB 1998: 287-298
2. Piero A. Bonatti, Thomas Eiter: Querying Disjunctive Database Through Nonmonotonic Logics. ICDT 1995: 68-81
3. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents
4. Thomas Eiter, Georg Gottlob: Complexity Aspects of Various Semantics for Disjunctive Databases. PODS 1993: 158-167