


default search action
1st DAISD 1990: S'Agaró, Catalonia
- Antoni Olivé:

International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1990, October 15-17, 1990, S'Agaró, Catalonia, Proceedings. Report de recerca LSI/90-30, Universitat Politecnica de Catalunya (UPC) 1990 - Arantza Illarramendi, Licia Sbattella:

Syntactic Query Processing: Dealing with Structure and Time. DAISD 1990: 1-26 - José Miguel Blanco, Arantza Illarramendi:

Semantic Query Optimization: from DBMS to KBS. DAISD 1990: 27-48 - Robert Demolombe:

Strategies for the Computation of Conditional Answers. DAISD 1990: 49-71 - Maria-Ribera Sancho:

Deriving an Internal Events Model from a Deductive Conceptual Model. DAISD 1990: 73-92 - Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes:

Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. DAISD 1990: 93-110 - Joan Antoni Pastor:

The Internal Events Method for Integrity Constraints Enforcement in Deductive Databases. DAISD 1990: 111-140 - Øystein Nytrø:

Optimizing Deductive Databases Using Integrity Constraints. DAISD 1990: 141-151 - Lawrence Cavedon, Hendrik Decker:

A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution. DAISD 1990: 153-171 - Ernest Teniente:

The Internal Events Method for View Updating in Deductive Databases. DAISD 1990: 173-190 - Antonis C. Kakas:

Belief Revision for Deductive Databases. DAISD 1990: 191-218 - Vassilis Kopanas, Pericles Loucopoulos:

Database Support for a Rule-based Approach to Information Systems. DAISD 1990: 219-239 - Federico Barbic, Roberto Maiocchi, Barbara Pernici:

Automatic Deduction of Temporal Information. DAISD 1990: 241-298

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














