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

Research of active rules termination based on self-dependent rules analysis

作　　者：陆惠玲[1] 周涛[1] 

机构地区：[1]宁夏医科大学理学院,宁夏银川750004

出　　处：《计算机工程与科学》2013年第8期135-143,共9页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(81160183);教育部"春晖计划"资助项目(Z2011051);宁夏自然科学基金资助项目(NZ12179);宁夏高等学校科研重点资助项目(NGY2011042);宁夏医科大学特殊人才项目(XT2011004);宁夏医科大学青年基金资助项目(XQ2011011)

摘　　要：ECA规则终止性问题是主动数据库中一个关键问题,首先分析触发边、活化边、惰化边三种边的触发时序关系;然后构造条件断言函数来描述活化边和惰化边对ECA规则中条件的影响,总结出了触发边、活化边和惰化边的组合时序对规则的具体触发情况;最后在此基础上进一步完善了BarakisR提出的不可归约规则集中的自依赖规则判定算法,对其中能够形成环状结构的自触发规则进行了全面的讨论,提出一种新的自依赖规则判定算法。该算法首先找到在不可归约集中由自触发规则引发的循环触发,然后对自触发规则进行单独处理来打断这个环从而使规则集终止,有效提高了规则终止性问题的判断能力。ECA rules termination is a key problem in ACDB. Firstly, triggering time sequence about triggering edge, activation edge and deactivation edge is analyzed. Secondly, condition asseveration function is constructed to illustrate the effect of activation edge and deactivation edge on ECA rules. Combination time sequence of Triggering edge, detriggering edge and activation edge are proposed to an- alyze triggering in ECA. Finally, Self-dependent rules judgment algorithm in irreducible rule set, which is proposed by Barakis R, is improved further, Self- triggering rules that cause cyclic structure are dis- cussed deeply, and a new self--dependent rules judgment algorithm is proposed. The algorithm can find cyclic triggering in irreducible rule set, then self--triggering rules are independently processed so as to interrupt the triggering ring, hence efficiently improving the judgment ability of active rules termination problem.

关 键 词：主动规则 终止性分析 自依赖规则 不可归约规则集 

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