主动规则可终止性的动态分析方法

A DYNAMIC ANALYSIS METHOD OF THE TERMINATION OF ACTIVE RULES

判定主动规则集合的执行情况是相当困难的 ,尤其是在主动规则支持复合事件时 .提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型 ,归结出主动规则可终止的充分必要条件 ,并进一步提出了利用动态分析模型进行主动规则可终止性判定的算法 .该模型易于实现 ,能有效描述规则集合的动态特性 ,可以作为分析主动规则集合行为的理论基础 。

The determination of execution case of an active rule base is quite a difficult problem, especially when the composite events are supported. A model based on a determinative multi belt Turing machine is given for the dynamic analysis of active databases. A sufficient and necessary condition of the termination of rule bases is put forward, and an algorithm using the dynamic analysis model to determine the termination is produced as well. This model has the virtue of easy realization and the potency of describing the dynamic characteristics of a rule base. This model can work as the theoretical basis of dynamic analysis tools for active rule bases, and can be used to aid the design of active rule systems or to verify the correctness of rule bases.