default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd DAISD 1992: Roses, Costa Brava, Catalonia
- Antoni Olivé:
Third International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1992, September 28-30, 1992, Roses, Costa Brava, Catalonia, Proceedings. Report de recerca LSI/92/19, Universitat Politecnica de Catalunya (UPC) 1992 - Babis Theodoulidis, Petros Alexakis, Pericles Loucopoulos:
Verification and Validation of Temporal Business Rules. DAISD 1992: 1-15 - Enric Mayol, Maria-Ribera Sancho, Jaume Sistac:
The Odissea Project: An Environment for the Development of Information Systems from DCM. DAISD 1992: 17-47 - Salvador Villena, Buenaventura Clares Rodríguez:
Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models. DAISD 1992: 49-79 - Magnus Boman:
A Note on the Limitations of Utilizing Modal Logic for Federated Information Systems. DAISD 1992: 83-103 - Isidro Ramos, Oscar Pastor, José Hilario Canós-Cerdá:
On the Use of Algebras as Semantic Domain of Object Societies. DAISD 1992: 105-126 - Carme Quer:
Combining the Object-Oriented Approach and the Deductive Approach for Conceptual Modelling. DAISD 1992: 127-156 - Alberto Torres:
Is There a "Right" Semantics for Negation as Failure? DAISD 1992: 157-166 - Charles Kellogg:
Deduction-Based Data Understanding using Graphic Logic. DAISD 1992: 167-174 - Georges Gardarin, Françoise Fabret:
Query Optimization in a Deductive Object-Oriented DBMS. DAISD 1992: 175-198 - Georg Nüssel, Hendrik Decker, Matilde Celma, Juan Carlos Casamayor:
A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases. DAISD 1992: 199-216 - Hendrik Decker:
Knowledge Assimilation in Deductive Databases - An Overview. DAISD 1992: 217-247 - Juan Carlos Casamayor:
An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories. DAISD 1992: 249-274 - Joan Antoni Pastor:
Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases. DAISD 1992: 275-300 - Guido Moerkotte, Holger Müller, Joachim Posegga:
Aspects of Consistency Driven Planning. DAISD 1992: 301-325 - Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca:
Integrity Maintenance Systems: An Architecture. DAISD 1992: 327-344
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.
last updated on 2025-02-04 21:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
