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
- 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
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
Session V
Copyright © Mon Nov 2 20:28:25 2009
by Michael Ley (ley@uni-trier.de)
