4. DAISD 1993: Lloret de Mar, Catalonia

Antoni Olivé (Ed.): Fourth International Workshop on the Deductive Approach to Information Systems and Databases. September 20-22, 1993, Lloret de Mar, Catalonia, Proceedings. Report de recerca, LSI/93-25-R, Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya (UPC)

Ilias Petrounias, Pericles Loucopoulos: Design, Implementation and Evaluation of an Application following the Deductive Approach. 1-25
Maria-Ribera Sancho: Explaining the Behaviour of a Deductive Conceptual Model. 27-50
Isidro Ramos, Oscar Pastor, Jose Cuevas, Jaume Devesa: Objects as Observable Processes. 51-72
Janis A. Bubenko Jr.: Extending the Scope of Information Modelling. 73-97
Subhasish Mazumdar: A Deductive Approach to Semantic Heterogeneity in Multidatabase Systems. 99-121
Richard Cooper, David Mackenzie: Integrating Persistence and Deductive Databases. 123-136
Johann Kempe, Gabriele Höfling, Christian Hayler: History, Survey and Comparison of selected object-oriented and deductive Database Query Languages. 137-157
Klemens Böhm, Amílcar Sernadas: Real-Time Object Specification Logic. 159-173
Dolors Costal: A new Plan Generation Method for Deductive Conceptual Models Validation. 175-200
Paula Gouveia, Cristina Sernadas: Reasoning Aspects in Information Systems and Databases. 201-223
Guido Moerkotte, Holger Müller: Exploiting Consistency Maintenance for Planning. 225-255
María C. Fernández-Baizán, Concepcion Perez, Rafael Portaencasa, Eugenio Santos: Constructing a Hierarchy of Generalization/Specialization from the O.A.S Hierarchy of Formal Classes. 257-265
Hendrik Decker, Juan Carlos Casamayor: Sustained Models and Sustained Answers in First-Order Databases. 267-286
Francisco Marqués, Juan Carlos Casamayor: Consistency Verification of Deductive Database Schemes. 287-307
Robert Demolombe, Andrew J. I. Jones: Integrity Constraints Revisited (Preliminary version). 309-333
Enric Mayol, Ernest Teniente: Incorporating Modification Requests in Updating Consistent Knowledge Bases. 335-359
Pericles Loucopoulos: Information Systems and Enterprise Integration. 361-375