基于自依赖规则分析的主动规则终止性研究

• 作者: 周涛 陆惠玲
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 主动规则 终止性分析 自依赖规则 不可归约规则集
• 年，卷（期）: 2013,（8）
• 所属期刊栏目: 多媒体与数据库
• 页码范围: 135-143
• 页数: 9页
• 分类号: TP311.131
• 字数: 8842字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2013.08.022

摘要

ECA规则终止性问题是主动数据库中一个关键问题,首先分析触发边、活化边、惰化边三种边的触发时序关系；然后构造条件断言函数来描述活化边和惰化边对ECA规则中条件的影响,总结出了触发边、活化边和惰化边的组合时序对规则的具体触发情况；最后在此基础上进一步完善了Barakis R提出的不可归约规则集中的自依赖规则判定算法,对其中能够形成环状结构的自触发规则进行了全面的讨论,提出一种新的自依赖规则判定算法.该算法首先找到在不可归约集中由自触发规则引发的循环触发,然后对自触发规则进行单独处理来打断这个环从而使规则集终止,有效提高了规则终止性问题的判断能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周涛	宁夏医科大学理学院	49	522	10.0	21.0
2	陆惠玲	宁夏医科大学理学院	35	419	8.0	20.0