dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

A Model-Theoretic Approach to Updating Logical Databases.

Marianne Winslett: A Model-Theoretic Approach to Updating Logical Databases. PODS 1986: 224-234
@inproceedings{DBLP:conf/pods/Wilkins86,
  author    = {Marianne Winslett},
  editor    = {Avi Silberschatz},
  title     = {A Model-Theoretic Approach to Updating Logical 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     = {224-234},
  ee        = {http://doi.acm.org/10.1145/6012.15416, db/conf/pods/Wilkins86.html},
  crossref  = {DBLP:conf/pods/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

We show that it is reasonable to extend the concept of database updates to encompass databases with incomplete information. Our approach embeds the incomplete database and the updates in the language of first-order logic, which we believe has strong advantages over relational tables and traditional data manipulation languages in the incomplete information situation. We present semantics for our update operators, and also provide an efficient algorithm to perform the operations.

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


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
[Fagin 84]
...
[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
[Imielinski 84]
Tomasz Imielinski, Witold Lipski Jr.: Incomplete Information in Relational Databases. J. ACM 31(4): 761-791(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Reiter 84]
...
[Reiter 84b]
...
[Vardi 85]
Moshe Y. Vardi: Querying Logical Databases. PODS 1985: 57-65 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Wilkins 86]
...

Last update Fri Sep 14 17:28:26 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page