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 BibTeX
Enric Mayol, Maria-Ribera Sancho, Jaume Sistac: The Odissea Project: An Environment for the Development of Information Systems from DCM. 17-47 BibTeX
Salvador Villena, Buenaventura Clares Rodríguez: Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models. 49-79 BibTeX
Magnus Boman: A Note on the Limitations of Utilizing Modal Logic for Federated Information Systems. 83-103 BibTeX
Isidro Ramos, Oscar Pastor, José Hilario Canós Cerdá: On the Use of Algebras as Semantic Domain of Object Societies. 105-126 BibTeX
Carme Quer: Combining the Object-Oriented Approach and the Deductive Approach for Conceptual Modelling. 127-156 BibTeX
Alberto Torres: Is There a "Right" Semantics for Negation as Failure? 157-166 BibTeX
Charles Kellogg: Deduction-Based Data Understanding using Graphic Logic. 167-174 BibTeX
Georges Gardarin, Françoise Fabret: Query Optimization in a Deductive Object-Oriented DBMS. 175-198 BibTeX
Georg Nüssel, Hendrik Decker, Matilde Celma, Juan Carlos Casamayor: A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases. 199-216 BibTeX
Hendrik Decker: Knowledge Assimilation in Deductive Databases - An Overview. 217-247 BibTeX
Juan Carlos Casamayor: An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories. 249-274 BibTeX
Joan Antoni Pastor: Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases. 275-300 BibTeX
Guido Moerkotte, Holger Müller, Joachim Posegga: Aspects of Consistency Driven Planning. 301-325 BibTeX
Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Integrity Maintenance Systems: An Architecture. 327-344 BibTeX