Temporal triggers in active databases
- 1 June 1995
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Knowledge and Data Engineering
- Vol. 7 (3) , 471-486
- https://doi.org/10.1109/69.390251
Abstract
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.Keywords
This publication has 25 references indexed in Scilit:
- Temporal triggers in active databasesIEEE Transactions on Knowledge and Data Engineering, 1995
- Event specification in an active object-oriented databasePublished by Association for Computing Machinery (ACM) ,1992
- NETMATE: A network management environmentIEEE Network, 1991
- Incremental implementation model for relational databases with transaction timeIEEE Transactions on Knowledge and Data Engineering, 1991
- Half-order modal logic: how to prove real-time propertiesPublished by Association for Computing Machinery (ACM) ,1990
- A predicate matching algorithm for database rule systemsPublished by Association for Computing Machinery (ACM) ,1990
- Set-oriented production rules in relational database systemsPublished by Association for Computing Machinery (ACM) ,1990
- Using temporal hierarchies to efficiently maintain large temporal databasesJournal of the ACM, 1989
- The temporal query language TQuelACM Transactions on Database Systems, 1987
- Logical modeling of temporal dataPublished by Association for Computing Machinery (ACM) ,1987