Integrity Constraints in an Active Database Environment

This chapter surveys the interaction between active rules and integrity constraints. First, we analyze the static case following the SQL-1999 Standard Committee point of view which, up to date, represents the state of the art. Then, we consider the case of dynamic constraints for which we use a temporal logic formalism. finally, we discuss the applicabilty, limitations and partial solutions found when attempting to ensure the satisfaction of dynamic constraints.

[1]  Letizia Tanca,et al.  Automatic generation of production rules for integrity maintenance , 1994, TODS.

[2]  Elena Baralis,et al.  Modularization techniques for active rules design , 1996, TODS.

[3]  Jennifer Widom,et al.  Active Database Systems: Triggers and Rules For Advanced Database Processing , 1994 .

[4]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[5]  Jennifer Widom,et al.  Better Termination Analysis for Active Databases , 1993, Rules in Database Systems.

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

[7]  Jennifer Widom,et al.  Static analysis techniques for predicting the behavior of active database rules , 1995, TODS.

[8]  Sharma Chakravarthy,et al.  Snoop: An Expressive Event Specification Language for Active Databases , 1994, Data Knowl. Eng..

[9]  Gunter Saake,et al.  Monitoring dynamic integrity constraints based on temporal logic , 1987, Inf. Syst..

[10]  Sharma Chakravarthy.  Rule management and evaluation: an active DBMS perspective , 1989, SGMD.

[11]  Sharma Chakravarthy,et al.  Formal semantics of composite events for distributed environments , 1999, Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337).

[12]  Sharma Chakravarthy.  Sentinel: an object-oriented DBMS with event-based rules , 1997, SIGMOD '97.

[13]  Eric N. Hanson,et al.  Rule condition testing and action execution in Ariel , 1992, SIGMOD '92.

[14]  Narain H. Gehani,et al.  Ode as an Active Database: Constraints and Triggers , 1991, VLDB.

[15]  Jennifer Widom,et al.  Deriving Production Rules for Constraint Maintainance , 1990, VLDB.

[16]  Aravinda Prasad Sistla,et al.  Theoretical issues in the design and verification of distributed systems , 1983 .

[17]  Jennifer Widom,et al.  Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award) , 2000, VLDB.

[18]  Sharma Chakravarthy,et al.  Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.

[19]  Jennifer Widom,et al.  Set-oriented production rules in relational database systems , 1990, SIGMOD '90.

[20]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[21]  Jennifer Widom,et al.  An algebraic approach to static analysis of active database rules , 2000, TODS.

[22]  A. Prasad Sistla,et al.  Temporal Triggers in Active Databases , 1995, IEEE Trans. Knowl. Data Eng..

[23]  Jan Chomicki,et al.  History-less checking of dynamic integrity constraints , 1992, [1992] Eighth International Conference on Data Engineering.

[24]  Umeshwar Dayal,et al.  The HiPAC project: combining active databases and timing constraints , 1988, SGMD.