Conferences in DBLP

International Workshop on the Deductive Approach to Information Systems and Databases (DAISD) (daisd)
1992 (conf/daisd/92)

1. Babis Theodoulidis, Petros Alexakis, Pericles Loucopoulos
   Verification and Validation of Temporal Business Rules. [Citation Graph (0, 0)][DBLP]
   DAISD, 1992, pp:1-15 [Conf]
   
2. Enric Mayol, Maria-Ribera Sancho, Jaume Sistac
   The Odissea Project: An Environment for the Development of Information Systems from DCM. [Citation Graph (0, 0)][DBLP]
   DAISD, 1992, pp:17-47 [Conf]
   
3. Salvador Villena, Buenaventura Clares Rodríguez
   Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models. [Citation Graph (0, 0)][DBLP]
   DAISD, 1992, pp:49-79 [Conf]
   
4. Magnus Boman
   A Note on the Limitations of Utilizing Modal Logic for Federated Information Systems. [Citation Graph (0, 0)][DBLP]
   DAISD, 1992, pp:83-103 [Conf]
   
5. Isidro Ramos, Oscar Pastor, José Hilario Canós Cerdá
   On the Use of Algebras as Semantic Domain of Object Societies. [Citation Graph (0, 0)][DBLP]
   DAISD, 1992, pp:105-126 [Conf]
   
6. Carme Quer
   Combining the Object-Oriented Approach and the Deductive Approach for Conceptual Modelling. [Citation Graph (0, 0)][DBLP]
   DAISD, 1992, pp:127-156 [Conf]
   
7. Alberto Torres
   Is There a "Right" Semantics for Negation as Failure? [Citation Graph (0, 0)][DBLP]
   DAISD, 1992, pp:157-166 [Conf]
   
8. Charles Kellogg
   Deduction-Based Data Understanding using Graphic Logic. [Citation Graph (0, 0)][DBLP]
   DAISD, 1992, pp:167-174 [Conf]
   
9. Georges Gardarin, Françoise Fabret
   Query Optimization in a Deductive Object-Oriented DBMS. [Citation Graph (0, 0)][DBLP]
   DAISD, 1992, pp:175-198 [Conf]
   
10. Georg Nüssel, Hendrik Decker, Matilde Celma, Juan Carlos Casamayor
    A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases. [Citation Graph (1, 0)][DBLP]
    DAISD, 1992, pp:199-216 [Conf]
    
11. Hendrik Decker
    Knowledge Assimilation in Deductive Databases - An Overview. [Citation Graph (1, 0)][DBLP]
    DAISD, 1992, pp:217-247 [Conf]
    
12. Juan Carlos Casamayor
    An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:249-274 [Conf]
    
13. Joan Antoni Pastor
    Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases. [Citation Graph (1, 0)][DBLP]
    DAISD, 1992, pp:275-300 [Conf]
    
14. Guido Moerkotte, Holger Müller, Joachim Posegga
    Aspects of Consistency Driven Planning. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:301-325 [Conf]
    
15. Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca
    Integrity Maintenance Systems: An Architecture. [Citation Graph (1, 0)][DBLP]
    DAISD, 1992, pp:327-344 [Conf]