dblp.uni-trier.de www.dagstuhl.de www.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},
  editor    = {Avi Silberschatz},
  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,
               USA},
  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}
}

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 ...

Printed Edition

Avi Silberschatz (Ed.): Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24-26, 1986, Cambridge, Massachusetts, USA. ACM 1986, ISBN 0-89791-179-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

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

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 08:32:40 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page