Issue No. 03 - June (1995 vol. 7)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.390251
<p><it>Abstract</it>—In this paper we propose two languages, called <it>Future Temporal Logic</it> (FTL) and <it>Past Temporal Logic</it> (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.</p><p>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.</p>
Active databases, triggers, temporal logics, algorithms.
A. P. Sistla and O. Wolfson, "Temporal Triggers in Active Databases," in IEEE Transactions on Knowledge & Data Engineering, vol. 7, no. , pp. 471-486, 1995.