Relationship Graph and Termination Analysis for Active Rule Set

• 关联图与主动规则集的终止性分析