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

J4 ›› 2013, Vol. 35 ›› Issue (8): 135-143.

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

陆惠玲,周涛

(宁夏医科大学理学院,宁夏银川 750004)

收稿日期:2012-05-25 修回日期:2012-09-13 出版日期:2013-08-25 发布日期:2013-08-25
基金资助:
国家自然科学基金资助项目(81160183)；教育部“春晖计划”资助项目(Z2011051)；宁夏自然科学基金资助项目(NZ12179)；宁夏高等学校科研重点资助项目(NGY2011042)；宁夏医科大学特殊人才项目(XT2011004)；宁夏医科大学青年基金资助项目(XQ2011011)

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

LU Huiling,ZHOU Tao

(School of Science,Ningxia Medical University,Yinchuan 750004,China)

Received:2012-05-25 Revised:2012-09-13 Online:2013-08-25 Published:2013-08-25

摘要/Abstract

摘要：

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

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

Abstract:

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 analyze 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 discussed 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.

Key words: active rules;termination analysis;selfdependent rules;irreducible rule set

陆惠玲,周涛 . 基于自依赖规则分析的主动规则终止性研究[J]. J4, 2013, 35(8): 135-143.

LU Huiling,ZHOU Tao. Research of active rules termination
based on selfdependent rules analysis [J]. J4, 2013, 35(8): 135-143.