摘要
ＥＣＡ规则系统已经成为主动数据库提供主动服务的通用机制．规则集合的可终止性是规则行为分析的一个重要问题．文中给出了ＥＣＡ规则系统的形式化描述，并着重讨论了复合事件机制对可终止性问题的影响．文中结合规则实例给出了分析规则终止性的静态判定算法，这一算法可作为主动规则分析工具的理论基础．
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1998年第5期460-463,共4页
Journal of Computer Research and Development
基金
国家自然科学基金
关键词
主动数据库
ECA规则
复合事件
可终止性
active database, ECA rule, composite event, termination, static analysis
