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

• 
  Christian Laasch, Marc H. Scholl: Change Management in Objectbases. 1-23
• 
  Alvaro A. A. Fernandes, Maria L. Barja, Norman W. Paton, M. Howard Williams, Andrew Dinn, Imara P. Diaz, Alia I. Abdelmoty: ROCK & ROLL: A Deductive Object-Oriented Database System. 25-32
• 
  Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti: IFO2: a Uniform Approach for Information System Modelling. 33-53
• 
  Amílcar Sernadas, Cristina Sernadas: Object Certification (Invited Lecture). 55-78

Session II

• 
  Xian Ye, Christine Parent, Stefano Spaccapietra: Derived Objects and Classes in DOOD Systems. 79-94
• 
  Oscar Díaz: The Operational Semantics of User-Defined Relationships in Object-Oriented Systems. 95-116
• 
  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

Session III

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

Session IV

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

Session V

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