Apart from improving definition of rule termination decision and reducing time complexity, we can make it as theory base to studying ECA Active Rule.

• 这一算法提高了规则可终止性判定的精确度，降低了时间复杂度，可以作为进一步主动规则分析的理论基础。