高级检索

    支持复合事件的主动规则的可终止性分析

    ANALYSIS OF TERMINATION OF ACTIVE RULES WITH COMPOSITE EVENTS

    • 摘要: ECA规则系统已经成为主动数据库提供主动服务的通用机制.规则集合的可终止性是规则行为分析的一个重要问题.文中给出了ECA规则系统的形式化描述,并着重讨论了复合事件机制对可终止性问题的影响.文中结合规则实例给出了分析规则终止性的静态判定算法,这一算法可作为主动规则分析工具的理论基础.

       

      Abstract: ECA rule has been widely accepted as the supporting mechanism in active database systems which provide active services. The problem of termination of an ECA rule base is attracting many interests. Based on a formal description of the semantics of ECA rules, an investigation is made into the potential influence that composite events may have on the analysis of termination. A static decisive algorithm supporting composite event mechanism is given, which can work as the theoretical basis of static analysis tools for active rule systems.

       

    /

    返回文章
    返回