DocumentCode :
793328
Title :
Temporal triggers in active databases
Author :
Sistla, A. Prasad ; Wolfson, Ouri
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Volume :
7
Issue :
3
fYear :
1995
fDate :
6/1/1995 12:00:00 AM
Firstpage :
471
Lastpage :
486
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 :
active databases; formal specification; temporal logic; Future Temporal Logic; Past Temporal Logic; SUN workstations; Sybase; active databases; attribute; temporal triggers; trigger conditions; Application software; Condition monitoring; Data security; Database systems; History; Logic; Sun; Traffic control; Transaction databases; Workstations;
fLanguage :
English
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
1041-4347
Type :
jour
DOI :
10.1109/69.390251
Filename :
390251
Link To Document :
بازگشت