3. DAISD 1992:
Roses,
Costa Brava,
Catalonia
Antoni Olivé (Ed.):
Third International Workshop on the Deductive Approach to Information Systems and Databases. September 28-30,
1992,
Roses,
Costa Brava,
Catalonia,
Proceedings. Report de recerca,
LSI/92/19,
Departament de Llenguatges i Sistemes Informatics,
Universitat Politecnica de Catalunya (UPC)
- Babis Theodoulidis, Petros Alexakis, Pericles Loucopoulos:
Verification and Validation of Temporal Business Rules.
1-15
- Enric Mayol, Maria-Ribera Sancho, Jaume Sistac:
The Odissea Project: An Environment for the Development of Information Systems from DCM.
17-47
- Salvador Villena, Buenaventura Clares Rodríguez:
Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models.
49-79
- Magnus Boman:
A Note on the Limitations of Utilizing Modal Logic for Federated Information Systems.
83-103
- Isidro Ramos, Oscar Pastor, José Hilario Canós Cerdá:
On the Use of Algebras as Semantic Domain of Object Societies.
105-126
- Carme Quer:
Combining the Object-Oriented Approach and the Deductive Approach for Conceptual Modelling.
127-156
- Alberto Torres:
Is There a "Right" Semantics for Negation as Failure?
157-166
- Charles Kellogg:
Deduction-Based Data Understanding using Graphic Logic.
167-174
- Georges Gardarin, Françoise Fabret:
Query Optimization in a Deductive Object-Oriented DBMS.
175-198
- Georg Nüssel, Hendrik Decker, Matilde Celma, Juan Carlos Casamayor:
A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases.
199-216
- Hendrik Decker:
Knowledge Assimilation in Deductive Databases - An Overview.
217-247
- Juan Carlos Casamayor:
An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories.
249-274
- Joan Antoni Pastor:
Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases.
275-300
- Guido Moerkotte, Holger Müller, Joachim Posegga:
Aspects of Consistency Driven Planning.
301-325
- Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca:
Integrity Maintenance Systems: An Architecture.
327-344
Copyright © Mon Mar 15 03:28:40 2010
by Michael Ley (ley@uni-trier.de)
