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

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
UNIX/LINUX/Mac: use mount point /pods8298/... or /cdrom/...

Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. and ...

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
UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

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

Online Edition: ACM Digital Library

References

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