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

- Carme Quer, Jaume Sistac:
ODISSEA: A Language for Deductive Information Systems.
22-49

- Dolors Costal:
An Approach to Validation of Deductive Conceptual Models.
50-72

- Oscar Pastor, Isidro Ramos, José Hilario Canós Cerdá:
Object Oriented and Relational Specification of Information Systems.
72-86

- Toni Urpí:
An Approach to Monitoring Changes in Deductive Databases.
87-113

- Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré:
Object-Level Abduction for View Updates.
114-127

- Gerhard Steinke:
Towards a Strategy for Achieving Security and Multi-User Integrity in Knowledge Base Systems.
128-148

- Hendrik Decker:
On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories.
149-173

- Guido Moerkotte, Karl Rösch:
On the Compilation of Consistency Constraints.
174-184

- 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

- Matthias Jarke:
Deductive Object Bases: Concept, Implementation, Applications.
204-219

- Rainer Manthey:
Towards a Unified View of Query- and Update-driven Inference in Deductive Databases.
220-224

- Sharma Chakravarthy:
Combining Deductive and Active Capabilities: A Systems Perspective.
225-226

Last update Tue May 21 16:29:10 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page