基于执行图的主动规则集汇流性判定

Confluence Determination of Active Rule Set Based on Execution Graph

针对主动规则集的汇流性问题进行了研究,通过对规则的可交换性及执行图的分析,提出了主动规则集汇流性判定定理,该定理的提出提高了汇流性判定的精确度。

Through the study of the confluence of active rule set,the analysis of its interchange bility and the execution graph,this paper presents the deciding theorem of confluence.The presentation of helps to improve the accuracy of confluence determination.