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
Copyright © Sat May 16 23:05:06 2009
by Michael Ley (ley@uni-trier.de)
