5. DAISD 1994: Aiguablava, Costa Brava, Catalonia

Antoni Olivé (Ed.): Fifth International Workshop on the Deductive Approach to Information Systems and Databases. September 19-21, 1994, Aiguablava, Costa Brava, Catalonia, Proceedings. Report de recerca, LSI/94-28-R, Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya (UPC)

Session I

Xian Ye, Christine Parent, Stefano Spaccapietra: Derived Objects and Classes in DOOD Systems. 79-94 BibTeX
Oscar Díaz: The Operational Semantics of User-Defined Relationships in Object-Oriented Systems. 95-116 BibTeX
Alfredo Goñi, Arantza Illarramendi, José Miguel Blanco, Eduardo Mena: Use of an Object-Based System with Reasoning capabilities to Integrate Relational Databases. 117-133 BibTeX

Ernest Teniente, Toni Urpí: A Common Framework for Classifying and Specifying Deductive Database Updating Problems. 135-158 BibTeX
Carme Quer: An Execution Model for change Computation in Deductive Databases. 159-187 BibTeX
Joan Antoni Pastor: Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases. 189-218 BibTeX
Raymond Reiter: On Specifying Database Updates (Invited Lecture). 219-253 BibTeX

Rainer Manthey: Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation. 255-276 BibTeX
Ulrike Griefahn, Rainer Manthey: Update Propagation in Chimera, an Active DOOD Language. 277-298 BibTeX

Carme Martín, Jaume Sistac: Integrity Constraints Checking in Historical Deductive Databases. 299-324 BibTeX
Dietmar Seipel, Helmut Thöne: DISLOG - A System for in Disjunctive Deductive Databases. 325-343 BibTeX
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones: Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. 345-373 BibTeX
Jennifer Widom, Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman: Validating Constraints with Partial Information: Research Overview. 375-385 BibTeX