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
Last update Thu May 24 04:15:54 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
