On Formalizing Database Updates: Preliminary Report.

@inproceedings{DBLP:conf/edbt/Reiter92,
  author    = {Raymond Reiter},
  editor    = {Alain Pirotte and
               Claude Delobel and
               Georg Gottlob},
  title     = {On Formalizing Database Updates: Preliminary Report},
  booktitle = {Advances in Database Technology - EDBT'92, 3rd International
               Conference on Extending Database Technology, Vienna, Austria,
               March 23-27, 1992, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {580},
  year      = {1992},
  isbn      = {3-540-55270-7},
  pages     = {10-20},
  ee        = {db/conf/edbt/Reiter92.html},
  crossref  = {DBLP:conf/edbt/92},
  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

[1]

...

[2]

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

[3]

Matthew L. Ginsberg, David E. Smith: Reasoning About Action I: A Possible Worlds Approach. Artif. Intell. 35(2): 165-195(1988) BibTeX

[4]

Gösta Grahne: Updates and Counterfactuals. KR 1991: 269-276 BibTeX

[5]

Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases. New Generation Comput. 8(1): 71-89(1990) BibTeX

[6]

Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases II. New Generation Comput. 10(1): 73-100(1991) BibTeX

[7]

...

[8]

Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394 BibTeX

[9]

Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 BibTeX

[10]

...

[11]

...

[12]

Jack Minker (Ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988, ISBN 0-934613-40-0
Contents BibTeX

[13]

Raymond Reiter: What Should a Database Know? J. Log. Program. 14(1&2): 127-153(1992) BibTeX

[14]

...

[15]

Raymond Reiter: On Specifying Database Updates (Invited Lecture). DAISD 1994: 219-253 BibTeX

[16]

...

[17]

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

Referenced by

1. Peter Z. Revesz: On the Semantics of Theory Change: Arbitration between Old and New Information. PODS 1993: 71-82
2. Dominique Laurent, Viet Phan Luong, Nicolas Spyratos: Updating Intensional Predicates in Deductive Databases. ICDE 1993: 14-21
3. Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz: Knowledgebase Transformations. PODS 1992: 246-260