Abstract is missing.
- A Framework for Schema Evolution by Meta Object ManipulationMarkus Tresch. 1-13
- Temporal Specifications of Object InteractionsConstantin Arapis. 15-35
- Declarative Semantics of Passive and Active Updates in Logic DatabasesPaul Spruit, John-Jules Ch. Meyer. 37-46
- An Integrated Approach to Modelling Structural and Behavioural Aspects of Complex ObjectsGeert-Jan Houben, Peter A. C. Verkoulen. 47-63
- Modeling GenerationRanabir Gupta, Gary Hall. 65-76
- Diagnosing Anomalous Rule Behavior in Databases with Integrity Maintenance Production RulesAnton P. Karadimce, Susan Darling Urban. 77-102
- Active Complex Object Databases (Working Paper)Jan Van den Bussche. 103-113
- Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence IntervalsUdo W. Lipeck, Heren Zhou. 115-130
- The Generic Complexity of Query Languages with Counters (Extended Abstract)Stéphane Grumbach, Christophe Tollu. 131-146
- Deductive Languages: A Graph-Based ApproachPeter Peelman, Jan Paredaens, Letizia Tanca. 147-172
- On Explanations in Deductive DatabasesHendrik Decker. 173-185
- A Categorial Approach to Object-Oriented Data ModelingChris Tuijn, Marc Gyssens, Jan Paredaens. 187-196
- Joins as PullbacksSuad Alagic, Mara Alagic. 197-207
- Discussion Issues for a Working Group on Update Semantics of Logic DatabasesPaul Spruit, John-Jules Ch. Meyer, Roel Wieringa. 209-210
- Working Group 2: Efficient Rule Processing in Object ModelsHolger Riedel. 211-213
- Gentzen-Type System for Verification in Conceptual ModelingCristina Sernadas, Paula Gouveia, Antónia Lopes. 215-228