Abstract is missing.
- Design, Implementation and Evaluation of an Application following the Deductive ApproachIlias Petrounias, Pericles Loucopoulos. 1-25
- Explaining the Behaviour of a Deductive Conceptual ModelMaria-Ribera Sancho. 27-50
- Objects as Observable ProcessesIsidro Ramos, Oscar Pastor, Jose Cuevas, Jaume Devesa. 51-72
- Extending the Scope of Information ModellingJanis A. Bubenko Jr.. 73-97
- A Deductive Approach to Semantic Heterogeneity in Multidatabase SystemsSubhasish Mazumdar. 99-121
- Integrating Persistence and Deductive DatabasesRichard Cooper, David Mackenzie. 123-136
- History, Survey and Comparison of selected object-oriented and deductive Database Query LanguagesJohann Kempe, Gabriele Höfling, Christian Hayler. 137-157
- Real-Time Object Specification LogicKlemens Böhm, Amílcar Sernadas. 159-173
- A new Plan Generation Method for Deductive Conceptual Models ValidationDolors Costal. 175-200
- Reasoning Aspects in Information Systems and DatabasesPaula Gouveia, Cristina Sernadas. 201-223
- Exploiting Consistency Maintenance for PlanningGuido Moerkotte, Holger Müller. 225-255
- Constructing a Hierarchy of Generalization/Specialization from the O.A.S Hierarchy of Formal ClassesMaria C. Fernandez, Concepcion Perez, Rafael Portaencasa, Eugenio Santos. 257-265
- Sustained Models and Sustained Answers in First-Order DatabasesHendrik Decker, Juan Carlos Casamayor. 267-286
- Consistency Verification of Deductive Database SchemesFrancisco Marqués, Juan Carlos Casamayor. 287-307
- Integrity Constraints Revisited (Preliminary version)Robert Demolombe, Andrew J. I. Jones. 309-333
- Incorporating Modification Requests in Updating Consistent Knowledge BasesEnric Mayol, Ernest Teniente. 335-359
- Information Systems and Enterprise IntegrationPericles Loucopoulos. 361-375