主动规则的终止性分析

Termination analysis of active rules

针对主动规则终止性分析方法的局限性,介绍一种主动数据库规则终止性分析的新方法,此方法采用演化图来模拟规则静态处理过程并考虑到激活图和惰化图。最后给出算法来检验规则终止性,并证明算法的正确性。

In order to overcome limitation of termination analysis mothod , a new method for rule termination analysis within active databases is introduced. This method relies on evolution graphs simulating rule processing statically and considering both rule activation and deactivation. The evolution graph provides a more detailed analysis than traditional graph based approaches. The algorithm for testing rule termination is presented and proved to be correct.