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

A Framework for Comparison of Update Semantics.

Marianne Winslett: A Framework for Comparison of Update Semantics. PODS 1988: 315-324
@inproceedings{DBLP:conf/pods/Winslett88,
  author    = {Marianne Winslett},
  title     = {A Framework for Comparison of Update Semantics},
  booktitle = {Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, March 21-23, 1988, Austin,
               Texas},
  publisher = {ACM},
  year      = {1988},
  isbn      = {0-89791-263-2},
  pages     = {315-324},
  ee        = {http://doi.acm.org/10.1145/308386.308465, db/conf/pods/Winslett88.html},
  crossref  = {DBLP:conf/pods/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Scattered across the scientific literature of three or more disciplines appears a profusion of proposals for semantics of updates to logical theories. Because no previous work has compared these proposals with one another, the merits and demerits of the various approaches are not well known. Since the semantics differ from one another in systematic ways, it is possible to generalize from existing proposals and speak of the properties of classes of update semantics. In this paper we suggest a two-dimensional taxonomy for characterizing semantics, and describe the properties inherent to the classes implicit therein. Our discussion includes measurement of the computational complexity of the different classes.

Copyright © 1988 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

Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas. ACM 1988, ISBN 0-89791-263-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Online Edition: ACM Digital Library


References

[Abiteboul 85]
Serge Abiteboul, Gösta Grahne: Update Semantics for Incomplete Databases. VLDB 1985: 1-12 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[deKleer 85]
Johan de Kleer, Brian C. Williams: Diagnosing Multiple Faults. Artif. Intell. 32(1): 97-130(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Drummond 87]
...
[Fagin 83]
Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Fagin 86]
...
[Gärdenfors 78]
...
[Ginsberg 86]
Matthew L. Ginsberg: Counterfactuals. Artif. Intell. 30(1): 35-79(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ginsberg 87]
...
[Goodman 83]
...
[Grosof 87]
...
[Harman 86]
...
[Hegner 87]
Stephen J. Hegner: Specification and Implementation of Programs for Updating Incomplete Information Databases. PODS 1987: 146-158 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Keller 85]
Arthur M. Keller, Marianne Winslett: On the Use of an Extended Relational Model to Handle Changing Incomplete Information. IEEE Trans. Software Eng. 11(7): 620-633(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Lewis 73]
...
[Oddie 78]
...
[Pollack 76]
...
[Reiter 87]
Raymond Reiter: A Theory of Diagnosis from First Principles. Artif. Intell. 32(1): 57-95(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Weber 86]
Andreas Weber: Updating Propositional Formulas. Expert Database Conf. 1986: 487-500 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Winslett 86]
Marianne Winslett: Updating Logical Databases Containing Null Values. ICDT 1986: 421-435 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Winslett 87]
...

Copyright © Sun Mar 14 23:21:12 2010 by Michael Ley (ley@uni-trier.de)