• 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