Determination of termination for a rule set based on conditional formula
Hao Zhong-xiao · Ha'erbin gongye daxue xuebao · 2009
To overcome the defect that active rules termination proved by triggering and activation graphs is conservative in active database,and improve the efficiency of run-time rule analysis,the conditional formula constructing for an activation path is proposed in this paper and a novel approach to determine the termination of active rules set is presented. Analytical results prove that the proposed approach can detect more termination situations than existing methods. The work done in this paper will give some help for the design and application of active rules.