The Revised Gärdenfors Postulates and Update Semantics.

@inproceedings{DBLP:conf/icdt/WillardY90,
  author    = {Leigh Willard and
               Li-Yan Yuan},
  editor    = {Serge Abiteboul and
               Paris C. Kanellakis},
  title     = {The Revised G{\"a}rdenfors Postulates and Update Semantics},
  booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
               France, December 12-14, 1990, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {470},
  year      = {1990},
  isbn      = {3-540-53507-1},
  pages     = {409-421},
  ee        = {db/conf/icdt/WillardY90.html},
  crossref  = {DBLP:conf/icdt/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• 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
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• 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
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[AB88]

Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 BibTeX

[AGM85]

...

[Da88]

...

[FuV83]

Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX

[Ga84]

...

[Ha86]

...

[KM89]

Hirofumi Katsuno, Alberto O. Mendelzon: A Unified View of Propositional Knowledge Base Updates. IJCAI 1989: 1413-1419 BibTeX

[KUV84]

Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: On the Equivalence of Logical Databases. PODS 1984: 221-228 BibTeX

[Llo87]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[Wi86]

Marianne Winslett: A Model-Theoretic Approach to Updating Logical Databases. PODS 1986: 224-234 BibTeX

[Wi88a]

Marianne Winslett: A Framework for Comparison of Update Semantics. PODS 1988: 315-324 BibTeX

[Wi88b]

Marianne Winslett: Reasoning about Action Using a Possible Models Approach. AAAI 1988: 89-93 BibTeX