1. DAISD 1990: S'Agaró, Catalonia

Antoni Olivé (Ed.): International Workshop on the Deductive Approach to Information Systems and Databases. October 15-17, 1990, S'Agaró, Catalonia, Proceedings. Report de recerca, LSI/90-30, Departament de Llenguatges i Sistemes Informatics, Universitat Politecnica de Catalunya (UPC)

Arantza Illarramendi, Licia Sbattella: Syntactic Query Processing: Dealing with Structure and Time. 1-26 BibTeX
José Miguel Blanco, Arantza Illarramendi: Semantic Query Optimization: from DBMS to KBS. 27-48 BibTeX
Robert Demolombe: Strategies for the Computation of Conditional Answers. 49-71 BibTeX
Maria-Ribera Sancho: Deriving an Internal Events Model from a Deductive Conceptual Model. 73-92 BibTeX
Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes: Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. 93-110 BibTeX
Joan Antoni Pastor: The Internal Events Method for Integrity Constraints Enforcement in Deductive Databases. 111-140 BibTeX
Øystein Nytrø: Optimizing Deductive Databases Using Integrity Constraints. 141-151 BibTeX
Lawrence Cavedon, Hendrik Decker: A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution. 153-171 BibTeX
Ernest Teniente: The Internal Events Method for View Updating in Deductive Databases. 173-190 BibTeX
Antonis C. Kakas: Belief Revision for Deductive Databases. 191-218 BibTeX
Vassilis Kopanas, Pericles Loucopoulos: Database Support for a Rule-based Approach to Information Systems. 219-239 BibTeX
Federico Barbic, Roberto Maiocchi, Barbara Pernici: Automatic Deduction of Temporal Information. 241-298 BibTeX