Temporal Triggers in Active Databases

In this paper we propose two languages, called Future Temporal Logic (FTL) and Past Temporal Logic (PTL), for specifying temporal triggers. Some examples of trigger conditions that can be specified in our language are the following: "The value of a certain attribute increases by more than 10% in 10 minutes," "A tuple that satisfies a certain predicate is added to the database at least 10 minutes before another tuple, satisfying a different condition, is added to the database." Such triggers are important for monitor and control applications. In addition to the languages, we present algorithms for processing the trigger conditions specified in these languages, namely, procedures for determining when the trigger conditions are satisfied. These methods can be added as a "temporal" component to an existing database management systems. A preliminary prototype of the temporal component that uses the FTL language has been built on top of Sybase running on SUN workstations. >

[1]  Yechiam Yemini,et al.  NETMATE: management of complex distributed networked systems , 1991, [1991] Proceedings of the First International Conference on Parallel and Distributed Information Systems.

[2]  Richard T. Snodgrass,et al.  The temporal query language TQuel , 1987, TODS.

[3]  Christian S. Jensen,et al.  Incremental Implementation Model for Relational Databases with Transaction Time , 1991, IEEE Trans. Knowl. Data Eng..

[4]  James Clifford,et al.  A Temporal Relational Algebra as a Basis for Temporal Relational Completeness , 1990 .

[5]  Eric N. Hanson,et al.  A predicate matching algorithm for database rule systems , 1990, SIGMOD '90.

[6]  Thomas A. Henzinger,et al.  Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..

[7]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[8]  Gunter Saake,et al.  Using Finite-Linear Temporal Logic for Specifying Database Dynamics , 1988, CSL.

[9]  Timos K. Sellis,et al.  Special Issue on Rule Management and Processing in Expert Database Systems - Letter from the Guest Editor , 1989, SIGMOD Rec..

[10]  Narain H. Gehani,et al.  Composite Event Specification in Active Databases: Model & Implementation , 1992, VLDB.

[11]  Klaus R. Dittrich,et al.  Supporting Semantic Rules by a Generalized Event/Trigger Mechanism , 1988, EDBT.

[12]  Per-Åke Larson,et al.  Updating derived relations: detecting irrelevant and autonomously computable updates , 1986, VLDB.

[13]  Jennifer Widom,et al.  Production Rules in Parallel and Distributed Database Environments , 1992, VLDB.

[14]  Frank Wm. Tompa,et al.  Eeciently Updating Materialized Views , 1986 .

[15]  Michael M. Gorlick,et al.  Real-time interval logic for reasoning about executions of real-time programs , 1989, TAV3.

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

[17]  Yechiam Yemini,et al.  Managing Communication Networks by Monitoring Databases , 1991, IEEE Trans. Software Eng..

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

[19]  Gio Wiederhold,et al.  Incremental Recomputation of Active Relational Expressions , 1991, IEEE Trans. Knowl. Data Eng..

[20]  Jennifer Widom,et al.  An overview of production rules in database systems , 1993, The Knowledge Engineering Review.

[21]  Arie Shoshani,et al.  Logical modeling of temporal data , 1987, SIGMOD '87.

[22]  Tore Risch,et al.  Monitoring Database Objects , 1989, VLDB.

[23]  Frank Wm. Tompa,et al.  Efficiently updating materialized views , 1986, SIGMOD '86.

[24]  Y. Yemini,et al.  NETMATE: A network management environment , 1991, IEEE Network.

[25]  N HansonEric,et al.  A predicate matching algorithm for database rule systems , 1990 .

[26]  Eric Simon,et al.  Making deductive databases a practical technology: a step forward , 1990, SIGMOD '90.

[27]  Thomas A. Henzinger,et al.  Half-order modal logic: how to prove real-time properties , 1990, PODC '90.

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

[29]  Michael Stonebraker,et al.  On rules, procedure, caching and views in data base systems , 1990, SIGMOD '90.

[30]  Michael Stonebraker,et al.  On rules, procedures, caching and views in database systems , 1994, SIGMOD 1994.

[31]  Umeshwar Dayal,et al.  Active Database Management Systems , 1988, JCDKB.

[32]  Donald Cohen.  Compiling complex database transition triggers , 1989, SIGMOD '89.

[33]  Jan Chomicki,et al.  Real-time integrity constraints , 1992, PODS.

[34]  Thomas Dean,et al.  Using temporal hierarchies to efficiently maintain large temporal databases , 1989, JACM.

[35]  Narain H. Gehani,et al.  Event specification in an active object-oriented database , 1992, SIGMOD '92.

[36]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[37]  Alexander Dupuy,et al.  Design of the Netmate Network Management System , 1991 .

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

[39]  Michael M. Gorlick,et al.  Real-time interval logic for reasoning about executions of real-time programs , 1989 .

[40]  Arie Segev,et al.  Event-Join Optimization in Temporal Relational Databases , 1989, VLDB.

[41]  Arie Shoshani,et al.  The Representation of a Temporal Data Model in the Relational Environment , 1988, SSDBM.