Termination analysis of active rules with prioritization
Ze Yang · Journal of Heilongjiang Institute of Technology · 2010
Termination of a set of rules is to generate rules for which it is possible to guarantee rules can not trigger each other infinitely,i.e.,the execution is terminate.The approach for active rules termination analysis include graph and algebraic approach.In order to overcome limitation of existed termination analysis mothod,a new method for rule termination analysis within active databases is introduced.The method translates the active rules into logical clauses,taking into account the system's execution semantics,and transfers to the active process known simple results about termination for deductive rules.Termination analysis of more active rules is done by using this termination analysis method of active database,the theorem for testing rule termination is presented and proved to be correct.At last the rule prioritization algorithm is presented.