[发明专利]一种主动规则集终止性判定方法

说明书

技术领域

本发明涉及数据库理论及应用领域，特别涉及主动规则集终止性判定。

背景技术

目前，主动规则集终止性判定方法主要有静态分析和动态检测。静态分析方法分析规则之间可能的触发关系，分析是否存在触发环路，从而推断是否会发生不终止情况，如果可能发生不终止情况，进一步检查和修改规则的定义；动态检测方法在运行时检测规则的触发行为，发现触发环路，并判断环路上规则是否会无限的触发下去，并报告可能无限触发的情况。

静态分析判断结果通常是保守的，误报率较高，如何减少误报率是值得深入研究的问题。现有静态分析方法没有考虑规则的条件是复合条件的情况。一个规则的动作可通过对另一个规则的一个子条件的惰化得到对整个规则条件的惰化，从而形成一条惰化边，而一个规则的动作对另一个规则的活化则要通过对所有规则的活化来实现对整个规则的活化，从而形成一条活化边。很有可能出现一个规则r1通过惰化另一个规则r2的一个子条件c1而形成一条惰化边，而在r1后面被触发的规则r3活化了r2的子条件c1，因为r3没有活化r2所有的子条件，所以不能形成活化边，所以按现有方法基于触发图、活化图和惰化图判定为可终止，而实际上不终止。

动态策略在确定真正不终止的情况下，必须强制停止环路上某些规则的执行，由于规则循环触发已经发生，必然造成语义缺损。

发明内容

本发明是为减少静态分析方法的误报率，提出一种主动规则集终止性判定方法。判定主动规则集的终止性算法比现有方法发现更多的无限循环的情况。

该主动规则集终止性判定方法，根据复合条件分解图判定主动规则集终止性，判定方法包括：判断该复合条件分解图是否存在惰化边，当判断结果为否，则主动规则集为无限循环；当判断结果为是，则确定该惰化边的数值，当该惰化边数大于1或者等于1，则该主动规则集终止，当惰化边数小于1，则该主动规则集无限循环。

优选地，该复合条件分解图包括复合条件活化图和复合条件惰化图。

优选地，该复合条件分解图中的复合条件满足该主动规则集的条件是多个条件的逻辑与运算表达式。

优选地，在该主动规则集上的复合条件活化图是由<R，CCAE>构成的有向图；

其中，R为任意主动规则集，r∈R表示规则结点，r的条件是由k个子条件组成的复合条件，其中，1≤k≤n，n是有限正整数；

ri表示第一规则，rj表示第二规则，有向边(ri，rj)∈CCAE表示ri的执行使rj的第m个子条件为真，其中，1≤m≤k，子条件活化边用点划线表示，并在边上标明活化的子条件序号，如果活化全部子条件省略条件序号。

优选地，在该主动规则集上的复合条件惰化图是由<R′，CCDE>构成的有向图；

其中，R′为任意主动规则集，r′∈R′表示规则结点，r′的条件是由k′个子条件组成的复合条件，其中，1≤k′≤n，n是有限正整数；

ri′表示第三规则，ri′表示第四规则，有向边(ri′，rj′)∈CCDE表示ri′的执行使ri′的第m′个子条件为假，其中，1≤m′≤k′，子条件惰化边用双虚线表示，并在边上标明惰化的子条件序号，如果惰化全部子条件省略条件序号。

优选地，该主动规则集终止性判定方法对应的计算机语言为判定主动规则集终止性的算法，所述算法的步骤包括：建立主动规则集的触发图、复合条件活化图和复合条件惰化图，删除不在任何触发环中或者不能被任何触发环触发可达的结点；如果没有触发环，主动规则集判断为终止，如果有触发环，记录子条件惰化边终点规则被惰化的子条件序号；如果有子条件活化边指向该规则，记录该规则被活化的子条件序号；如果活化发生在惰化后并且该被惰化的子条件序号与该被活化的子条件序号相等，删除被惰化的子条件序号的子条件惰化边；如果图中惰化边数大于1或者等于1，则该主动规则集终止，否则，该主动规则集无限循环。

本发明还提出了一种主动规则集终止性判定系统，包括：复合条件活化单元、复合条件惰化单元、判定单元、信号单元，该复合条件活化单元与复合条件惰化单元进行交互生成信号输入判定单元，该判定单元对主动规则集终止性进行判断，将判断信号输入信号单元，由该信号单元显示主动规则集终止性判断结果。

优选地，该复合条件活化单元生成复合条件活化图，该复合条件惰化单元生成复合条件惰化图，该复合条件活化图与复合条件惰化图包括在复合条件分解图中。