Stop the war!
Остановите войну!
for scientists:
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.