• DocumentCode
    1836415
  • Title

    Checking Inconsistency of Rule Sets in Active Real-Time Databases

  • Author

    Zhang, Jian

  • Author_Institution
    Inst. of Software, Chinese Acad. of Sci., Beijing
  • fYear
    2008
  • fDate
    3-5 Dec. 2008
  • Firstpage
    453
  • Lastpage
    456
  • Abstract
    Using active rules in database systems provides a kind of abstraction and flexibility. But it may also be difficult to use the rules properly, especially when they involve timing constraints. In this paper, we define a type of inconsistency between event-condition-action (ECA) rules, and propose an approach for checking the inconsistency automatically.
  • Keywords
    active databases; program verification; real-time systems; active real-time databases; event-condition-action rules; rule sets; timing constraints; Computer science; Data engineering; Database systems; Event detection; Fires; Laboratories; Real time systems; Systems engineering and theory; Temperature; Timing; ECA rules; active databases; consistency checking; constraint solving; real-time databases;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    High Assurance Systems Engineering Symposium, 2008. HASE 2008. 11th IEEE
  • Conference_Location
    Nanjing
  • ISSN
    1530-2059
  • Print_ISBN
    978-0-7695-3482-4
  • Type

    conf

  • DOI
    10.1109/HASE.2008.58
  • Filename
    4708905
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1836415