Update Semantics under the Domain Closure Assumption.

Laurence Cholvy: Update Semantics under the Domain Closure Assumption. ICDT 1986: 123-140
  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,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 BibTeX
Laurence Cholvy: A Modal Approach to Update Semantics Problem. DS-2 1986: 89-98 BibTeX
Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308 BibTeX
Luis Fariñas del Cerro: A Simple Deduction Method for Modal Logic. Inf. Process. Lett. 14(2): 49-51(1982) BibTeX
Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
Zohar Manna, Amir Pnueli: The Modal Logic of Programs. ICALP 1979: 385-409 BibTeX
Jean-Marie Nicolas, Kioumars Yazdanian: An Outline of BDGEN: A Deductive DBMS. IFIP Congress 1983: 711-717 BibTeX
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
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:18:57 2009