4. FMLDO 1992: Volkse, Germany

Udo W. Lipeck, Bernhard Thalheim (Eds.): Modelling Database Dynamics, Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse (near Braunschweig), Germany, 19-23 October 1992. Workshops in Computing Springer 1993, ISBN 3-540-19803-2 BibTeX

@proceedings{DBLP:conf/fmldo/1992,
  editor    = {Udo W. Lipeck and
               Bernhard Thalheim},
  title     = {Modelling Database Dynamics, Selected Papers from the Fourth
               International Workshop on Foundations of Models and Languages
               for Data and Objects, Volkse (near Braunschweig), Germany, 19-23
               October 1992},
  booktitle = {FMLDO},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19803-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Object Creation

Jan Van den Bussche, Dirk Van Gucht: Non-Deterministic Aspects of Object-Creating Database Transformations. 3-16 BibTeX

Rule-Based Updates of Objects

Luigi Palopoli, Riccardo Torlone: Specifying the Dynamics of Complex Object Databases. 19-35 BibTeX
Georg Lausen, Gunter Saake: A Possible World Semantics for Updates by Versioning. 36-47 BibTeX
Hele-Mai Haav: Specifying Semantics of Evolution in Object-Oriented Databases Using Partial Deduction. 48-60 BibTeX

Algebraic Semantics of Objects

Egidio Astesiano, Elena Zucca: A Semantic Model for Dynamic Systems. 63-83 BibTeX
Georg Reichwein: An Order-Sorted Approach to Active Objects. 84-100 BibTeX

Logic Approaches to Updates and Constraints

Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. 103-120 BibTeX
Elisa Bertino, Maurizio Martelli, Danilo Montesi: Modelling Database Updates with Constraint Logic Programming. 121-132 BibTeX
Nader Azarmi: A Formalisation of Logic Databases and Integrity Constraints. 133-150 BibTeX

Integrity Enforcement

Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Rule Generation for Constraint Enforcement in Active Databases. 153-173 BibTeX
Klaus-Dieter Schewe, Bernhard Thalheim, Joachim W. Schmidt, Ingrid Wetzel: Integrity Enforcement in Object-Oriented Databases. 174-195 BibTeX
Scarlet Schwiderski, Gunter Saake: Monitoring Temporal Permissions using Partially Evaluated Transition Graphs. 196-217 BibTeX

Discussion Reports

Catriel Beeri: Discussion Report: Update Languages. 221-222 BibTeX
Karen C. Davis, Guozhu Dong, Andreas Heuer: Discussion Report: Object Migration and Classification. 223-227 BibTeX