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

Positivism vs. Minimalism in Deductive Databases.

Nicole Bidoit, Richard Hull: Positivism vs. Minimalism in Deductive Databases. PODS 1986: 123-132
@inproceedings{DBLP:conf/pods/BidoitH86,
  author    = {Nicole Bidoit and
               Richard Hull},
  title     = {Positivism vs. Minimalism in Deductive Databases},
  booktitle = {Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles
               of Database Systems, March 24-26, 1986, Cambridge, Massachusetts},
  publisher = {ACM},
  year      = {1986},
  isbn      = {0-89791-179-2},
  pages     = {123-132},
  ee        = {http://doi.acm.org/10.1145/6012.15409, db/conf/pods/BidoitH86.html},
  crossref  = {DBLP:conf/pods/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Three formalizations of the Closed World Assumption (CWA) which accommodate disjunctive information are compared. The semantic approach of Bossu and Siegel, here called "minimalism", is shown to be equivalent to the syntactic approach based on Reiter's "default logic", when a specific class of defaults corresponding to the CWA is used. Neither approach generalizes the "Negation as Failure" inference rule of Clark. The three formalizations are synthesized to form "positivism", a new semantically-defined formalization of the CWA. The expressive power of minimalism and positivism is compared, in both static and dynamic contexts. In the dynamic case the comparison shows that positivism and minimalism are "non-monotonic" in different ways.

Copyright © 1986 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.

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 Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24-26, 1986, Cambridge, Massachusetts. ACM 1986, ISBN 0-89791-179-2
Contents BibTeX

Online Edition: ACM Digital Library

Journal Version

Nicole Bidoit, Richard Hull: Minimalism, Justification and Non-Monotonicity in Deductive Databases. J. Comput. Syst. Sci. 38(2): 290-325(1989) BibTeX

References

[1]
Nicole Bidoit, Richard Hull: Minimalism, Justification and Non-Monotonicity in Deductive Databases. J. Comput. Syst. Sci. 38(2): 290-325(1989) BibTeX
[2]
Genevieve Bossu, Pierre Siegel: Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. Artif. Intell. 25(1): 13-63(1985) BibTeX
[3]
...
[4]
...
[5]
...
[6]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX
[7]
...
[8,9]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
[10]
Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: On the Equivalence of Logical Databases. PODS 1984: 221-228 BibTeX
[11]
John W. Lloyd: Foundations of Logic Programming, 1st Edition. Springer 1984, ISBN 3-540-13299-6
BibTeX
[12]
John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980) BibTeX
[13]
Jack Minker: On Indefinite Databases and the Closed World Assumption. CADE 1982: 292-308 BibTeX
[14]
...
[15]
Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX
[16]
Raymond Reiter: Equality and Domain Closure in First-Order Databases. J. ACM 27(2): 235-249(1980) BibTeX
[17]
...

Referenced by

  1. Edward P. F. Chan: A Possible World Semantics for Disjunctive Databases. IEEE Trans. Knowl. Data Eng. 5(2): 282-292(1993)
  2. Marco Schaerf: Negation and Minimality in Non-Horn Databases. PODS 1993: 147-157
  3. Stefan Brass, Udo W. Lipeck: Generalized Bottom-Up Query Evaluation. EDBT 1992: 88-103
  4. Serge Abiteboul, Stéphane Grumbach: A Rule-Based Language with Functions and Sets. ACM Trans. Database Syst. 16(1): 1-30(1991)
  5. Stefan Brass: Beginnings of a Theory of General Database Completions. ICDT 1990: 349-363
  6. Stefan Brass, Udo W. Lipeck: Specifying Closed World Assumptions for Logic Databases. MFDBS 1989: 68-84
  7. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
    Contents
  8. Liz Sonenberg, Rodney W. Topor: On Domain Independent Disjunctive Databases. ICDT 1988: 281-291
  9. Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293
  10. Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. DBPL 1987: 347-374
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:33:49 2009