DAISD

Keyphrases

Publications

1994

Joan Antoni Pastor
Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases. DAISD (1994)
Jennifer Widom, Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman
Validating Constraints with Partial Information: Research Overview. DAISD (1994)
Amílcar Sernadas, Cristina Sernadas
Object Certification (Invited Lecture). DAISD (1994)
Christian Laasch, Marc H. Scholl
Change Management in Objectbases. DAISD (1994)
Carme Martín, Jaume Sistac
Integrity Constraints Checking in Historical Deductive Databases. DAISD (1994)
Dietmar Seipel, Helmut Thöne
DISLOG - A System for in Disjunctive Deductive Databases. DAISD (1994)
Carme Quer
An Execution Model for change Computation in Deductive Databases. DAISD (1994)
Fith International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1994, September 19-21, 1994, Aiguablava, Costa Brava, Catalonia, Proceedings DAISD (1994)
Ernest Teniente, Toni Urpí
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD (1994)
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones
Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. DAISD (1994)
Xian Ye, Christine Parent, Stefano Spaccapietra
Derived Objects and Classes in DOOD Systems. DAISD (1994)
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. DAISD (1994)
Raymond Reiter
On Specifying Database Updates (Invited Lecture). DAISD (1994)
Oscar Díaz
The Operational Semantics of User-Defined Relationships in Object-Oriented Systems. DAISD (1994)
Alfredo Goñi, Arantza Illarramendi, José Miguel Blanco, Eduardo Mena
Use of an Object-Based System with Reasoning capabilities to Integrate Relational Databases. DAISD (1994)
Ulrike Griefahn, Rainer Manthey
Update Propagation in Chimera, an Active DOOD Language. DAISD (1994)
Rainer Manthey
Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation. DAISD (1994)
Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti
IFO2: a Uniform Approach for Information System Modelling. DAISD (1994)

1993

1992