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}
}
BibTeX

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

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 BibTeX

Online Edition: ACM Digital Library


References

[Abiteboul 85]
Serge Abiteboul, Gösta Grahne: Update Semantics for Incomplete Databases. VLDB 1985: 1-12 BibTeX
[deKleer 85]
Johan de Kleer, Brian C. Williams: Diagnosing Multiple Faults. Artif. Intell. 32(1): 97-130(1987) BibTeX
[Drummond 87]
...
[Fagin 83]
Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX
[Fagin 86]
...
[Gärdenfors 78]
...
[Ginsberg 86]
Matthew L. Ginsberg: Counterfactuals. Artif. Intell. 30(1): 35-79(1986) BibTeX
[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 BibTeX
[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) BibTeX
[Lewis 73]
...
[Oddie 78]
...
[Pollack 76]
...
[Reiter 87]
Raymond Reiter: A Theory of Diagnosis from First Principles. Artif. Intell. 32(1): 57-95(1987) BibTeX
[Weber 86]
Andreas Weber: Updating Propositional Formulas. Expert Database Conf. 1986: 487-500 BibTeX
[Winslett 86]
Marianne Winslett: Updating Logical Databases Containing Null Values. ICDT 1986: 421-435 BibTeX
[Winslett 87]
...

Referenced by

  1. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
  2. Paolo Atzeni, Riccardo Torlone: Solving Ambiguities in Updating Deductive Databases. MFDBS 1991: 104-118
  3. Leigh Willard, Li-Yan Yuan: The Revised Gärdenfors Postulates and Update Semantics. ICDT 1990: 409-421
  4. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
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:55 2009