An Algorithm of the Refined Rules for Active Rule Termination Analysis

A static analysis technique is studied in active database system for rule termination. By a study of the basic triggering graph analysis method, depending on the behavior characteristic of active rule, a rule termination analysis method combining triggering graph with activation graph is concluded, and introduced to the active object oriented database system AO2DB for active rule termination analysis. This technique can decide the terminability of given rule sets more exactly than the basic triggering graph method.