Conferences in DBLP

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

1. Christian Laasch, Marc H. Scholl
   Change Management in Objectbases. [Citation Graph (0, 0)][DBLP]
   DAISD, 1994, pp:1-23 [Conf]
   
2. Alvaro A. A. Fernandes, Maria L. Barja, Norman W. Paton, M. Howard Williams, Andrew Dinn, Imara P. Diaz, Alia I. Abdelmoty
   ROCK & ROLL: A Deductive Object-Oriented Database System. [Citation Graph (0, 0)][DBLP]
   DAISD, 1994, pp:25-32 [Conf]
   
3. Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti
   IFO2: a Uniform Approach for Information System Modelling. [Citation Graph (0, 0)][DBLP]
   DAISD, 1994, pp:33-53 [Conf]
   
4. Amílcar Sernadas, Cristina Sernadas
   Object Certification (Invited Lecture). [Citation Graph (0, 0)][DBLP]
   DAISD, 1994, pp:55-78 [Conf]
   
5. Xian Ye, Christine Parent, Stefano Spaccapietra
   Derived Objects and Classes in DOOD Systems. [Citation Graph (1, 0)][DBLP]
   DAISD, 1994, pp:79-94 [Conf]
   
6. Oscar Díaz
   The Operational Semantics of User-Defined Relationships in Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
   DAISD, 1994, pp:95-116 [Conf]
   
7. Alfredo Goñi, Arantza Illarramendi, José Miguel Blanco, Eduardo Mena
   Use of an Object-Based System with Reasoning capabilities to Integrate Relational Databases. [Citation Graph (0, 0)][DBLP]
   DAISD, 1994, pp:117-133 [Conf]
   
8. Ernest Teniente, Toni Urpí
   A Common Framework for Classifying and Specifying Deductive Database Updating Problems. [Citation Graph (0, 0)][DBLP]
   DAISD, 1994, pp:135-158 [Conf]
   
9. Carme Quer
   An Execution Model for change Computation in Deductive Databases. [Citation Graph (0, 0)][DBLP]
   DAISD, 1994, pp:159-187 [Conf]
   
10. Joan Antoni Pastor
    Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:189-218 [Conf]
    
11. Raymond Reiter
    On Specifying Database Updates (Invited Lecture). [Citation Graph (1, 0)][DBLP]
    DAISD, 1994, pp:219-253 [Conf]
    
12. Rainer Manthey
    Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation. [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:255-276 [Conf]
    
13. Ulrike Griefahn, Rainer Manthey
    Update Propagation in Chimera, an Active DOOD Language. [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:277-298 [Conf]
    
14. Carme Martín, Jaume Sistac
    Integrity Constraints Checking in Historical Deductive Databases. [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:299-324 [Conf]
    
15. Dietmar Seipel, Helmut Thöne
    DISLOG - A System for in Disjunctive Deductive Databases. [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:325-343 [Conf]
    
16. Laurence Cholvy, Robert Demolombe, Andrew Jones
    Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:345-373 [Conf]
    
17. Jennifer Widom, Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman
    Validating Constraints with Partial Information: Research Overview. [Citation Graph (0, 0)][DBLP]
    DAISD, 1994, pp:375-385 [Conf]