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