Update Semantics under the Domain Closure Assumption.

@inproceedings{DBLP:conf/icdt/Cholvy86,
  author    = {Laurence Cholvy},
  editor    = {Giorgio Ausiello and
               Paolo Atzeni},
  title     = {Update Semantics under the Domain Closure Assumption},
  booktitle = {ICDT'86, International Conference on Database Theory, Rome, Italy,
               September 8-10, 1986, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {243},
  year      = {1986},
  isbn      = {3-540-17187-8},
  pages     = {123-140},
  ee        = {db/conf/icdt/Cholvy86.html},
  crossref  = {DBLP:conf/icdt/86},
  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

[CAHA]

...

[CCF]

José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 BibTeX

[CHLE]

...

[CHOL]

Laurence Cholvy: A Modal Approach to Update Semantics Problem. DS-2 1986: 89-98 BibTeX

[CHYA]

...

[ELG]

Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308 BibTeX

[FARI1]

Luis Fariñas del Cerro: A Simple Deduction Method for Modal Logic. Inf. Process. Lett. 14(2): 49-51(1982) BibTeX

[FARI2]

...

[FARI3]

...

[FUV]

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

[GMN]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[HUCR]

...

[KUV]

...

[LOVE]

...

[MAPN]

Zohar Manna, Amir Pnueli: The Modal Logic of Programs. ICALP 1979: 385-409 BibTeX

[NICO]

...

[NIYA1]

Jean-Marie Nicolas, Kioumars Yazdanian: An Outline of BDGEN: A Deductive DBMS. IFIP Congress 1983: 711-717 BibTeX

[Reit]

Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233 BibTeX

Referenced by

1. I-Min A. Chen, Richard Hull, Dennis McLeod: An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update. ACM Trans. Database Syst. 20(4): 365-413(1995)
2. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18