Conferences in DBLP

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

1. Ilias Petrounias, Pericles Loucopoulos
   Design, Implementation and Evaluation of an Application following the Deductive Approach. [Citation Graph (1, 0)][DBLP]
   DAISD, 1993, pp:1-25 [Conf]
   
2. Maria-Ribera Sancho
   Explaining the Behaviour of a Deductive Conceptual Model. [Citation Graph (0, 0)][DBLP]
   DAISD, 1993, pp:27-50 [Conf]
   
3. Isidro Ramos, Oscar Pastor, Jose Cuevas, Jaume Devesa
   Objects as Observable Processes. [Citation Graph (0, 0)][DBLP]
   DAISD, 1993, pp:51-72 [Conf]
   
4. Janis A. Bubenko Jr.
   Extending the Scope of Information Modelling. [Citation Graph (1, 0)][DBLP]
   DAISD, 1993, pp:73-97 [Conf]
   
5. Subhasish Mazumdar
   A Deductive Approach to Semantic Heterogeneity in Multidatabase Systems. [Citation Graph (0, 0)][DBLP]
   DAISD, 1993, pp:99-121 [Conf]
   
6. Richard Cooper, David Mackenzie
   Integrating Persistence and Deductive Databases. [Citation Graph (0, 0)][DBLP]
   DAISD, 1993, pp:123-136 [Conf]
   
7. Johann Kempe, Gabriele Höfling, Christian Hayler
   History, Survey and Comparison of selected object-oriented and deductive Database Query Languages. [Citation Graph (0, 0)][DBLP]
   DAISD, 1993, pp:137-157 [Conf]
   
8. Klemens Böhm, Amílcar Sernadas
   Real-Time Object Specification Logic. [Citation Graph (0, 0)][DBLP]
   DAISD, 1993, pp:159-173 [Conf]
   
9. Dolors Costal
   A new Plan Generation Method for Deductive Conceptual Models Validation. [Citation Graph (0, 0)][DBLP]
   DAISD, 1993, pp:175-200 [Conf]
   
10. Paula Gouveia, Cristina Sernadas
    Reasoning Aspects in Information Systems and Databases. [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:201-223 [Conf]
    
11. Guido Moerkotte, Holger Müller
    Exploiting Consistency Maintenance for Planning. [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:225-255 [Conf]
    
12. Maria C. Fernandez, Concepcion Perez, Rafael Portaencasa, Eugenio Santos
    Constructing a Hierarchy of Generalization/Specialization from the O.A.S Hierarchy of Formal Classes. [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:257-265 [Conf]
    
13. Hendrik Decker, Juan Carlos Casamayor
    Sustained Models and Sustained Answers in First-Order Databases. [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:267-286 [Conf]
    
14. Francisco Marqués, Juan Carlos Casamayor
    Consistency Verification of Deductive Database Schemes. [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:287-307 [Conf]
    
15. Robert Demolombe, Andrew Jones
    Integrity Constraints Revisited (Preliminary version). [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:309-333 [Conf]
    
16. Enric Mayol, Ernest Teniente
    Incorporating Modification Requests in Updating Consistent Knowledge Bases. [Citation Graph (1, 0)][DBLP]
    DAISD, 1993, pp:335-359 [Conf]
    
17. Pericles Loucopoulos
    Information Systems and Enterprise Integration. [Citation Graph (0, 0)][DBLP]
    DAISD, 1993, pp:361-375 [Conf]