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

ANALYSIS OF TERMINATION OF ACTIVE RULES WITH COMPOSITE EVENTS

作　　者：孙明[1] 姜跃平 董继润 

机构地区：[1]山东大学计算机科学系

出　　处：《计算机研究与发展》1998年第5期460-463,共4页Journal of Computer Research and Development

基　　金：国家自然科学基金

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

关 键 词：主动数据库 ECA规则 复合事件 可终止性 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]