2. DAISD1991: Aiguablava, Costa Brava, Catalonia

Antoni Olivé (Ed.): Second International Workshop on the Deductive Approach to Information Systems and Databases. September 9-11, 1991, Aiguablava, Costa Brava, Catalonia, Proceedings. Report de recerca, LSI/91-30, Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya (UPC)

Pericles Loucopoulos, George Papastamatiou, Dionysios Pantazis, George Diakonikolaou: Design and Execution of Event/Action DB Applications. 1-21 BibTeX
Carme Quer, Jaume Sistac: ODISSEA: A Language for Deductive Information Systems. 22-49 BibTeX
Dolors Costal: An Approach to Validation of Deductive Conceptual Models. 50-72 BibTeX
Oscar Pastor, Isidro Ramos, José Hilario Canós Cerdá: Object Oriented and Relational Specification of Information Systems. 72-86 BibTeX
Toni Urpí: An Approach to Monitoring Changes in Deductive Databases. 87-113 BibTeX
Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré: Object-Level Abduction for View Updates. 114-127 BibTeX
Gerhard Steinke: Towards a Strategy for Achieving Security and Multi-User Integrity in Knowledge Base Systems. 128-148 BibTeX
Hendrik Decker: On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories. 149-173 BibTeX
Guido Moerkotte, Karl Rösch: On the Compilation of Consistency Constraints. 174-184 BibTeX
Matilde Celma, Juan Carlos Casamayor, Laura Mota-Herranz, María Angeles Pastor, Francisco Marqués: A Derivation Path Recording Method for Integrity Checking in Deductive Databases. 185-203 BibTeX
Matthias Jarke: Deductive Object Bases: Concept, Implementation, Applications. 204-219 BibTeX
Rainer Manthey: Towards a Unified View of Query- and Update-driven Inference in Deductive Databases. 220-224 BibTeX
Sharma Chakravarthy: Combining Deductive and Active Capabilities: A Systems Perspective. 225-226 BibTeX