Past-directed Evaluation of Dynamic Integrity Constraints in Temporal Databases

This work can be considered a step to simplify the dynamic integrity constraint checking. We propose a method to transform a dynamic constraint to an equivalent past-directed form. This transformation will facilitate the constraint checking in temporal databases. The method proposed deals with integrity constraints defined by first-order logic formulas with explicit time in a denial form. It is based on the construction of time graphs to represent the temporal sequence of states presented in the constraint formula.

[1]  David Toman,et al.  First-Order Queries over Temporal Databases Inexpressible in Temporal Logic , 1996, EDBT.

[2]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[3]  Jan Chomicki,et al.  Efficient checking of temporal integrity constraints using bounded history encoding , 1995, TODS.

[4]  Antonio L. Furtado,et al.  On the Description of Database Transition Constraints Using Temporal Languages , 1982, Advances in Data Base Theory.

[5]  Antoni Olivé.  Integrity Constraints Checking In Deductive Databases , 1991, VLDB.

[6]  Sandra de Amo,et al.  Constraintes Dynamiques d'Inclusion et Schémas Transactionnels , 1993, BDA.

[7]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[8]  Gunter Saake,et al.  Monitoring Temporal Preconditions in a Behaviour Oriented Object Model , 1994, Data Knowl. Eng..

[9]  Michael Gertz,et al.  Deriving Optimized Integrity Monitoring Triggers from Dynamic Integrity Constraints , 1996, Data Knowl. Eng..

[10]  A. Prasad Sistla,et al.  Temporal conditions and integrity constraints in active database systems , 1995, SIGMOD '95.

[11]  Antoni Olivé,et al.  The Role of Structural Events in Behaviour Specification , 1997, DEXA.

[12]  Antoni Olivé Ramon,et al.  The Odissea approach to the design of information systems from deductive conceptual models , 1993 .

[13]  Maria-Ribera Sancho,et al.  Método de Conversión de Restricciones de Integridad Dinámicas en Forma de Futuro hacia una Forma de Pasado , 1997, JIDBD.

[14]  Maria Amélia Pacheco e Silva,et al.  Dynamic Integrity Constraints Definition and Enforcement in Databases: A Classification Framework , 1997, IICIS.

[15]  Ulrike Griefahn,et al.  Top-Down Integrity Constraint Checking for Deductive Databases , 1990, ICLP.

[16]  Dimitris Plexousakis,et al.  Compilation and Simplification of Temporal Integrity Constraints , 1995, Rules in Database Systems.