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

A DYNAMIC ANALYSIS METHOD OF THE TERMINATION OF ACTIVE RULES

作　　者：杨波[1] 王海洋[1] 董继润[1] 

机构地区：[1]山东大学计算机科学系,济南250100

出　　处：《计算机研究与发展》2000年第8期1018-1024,共7页Journal of Computer Research and Development

基　　金：霍英东青年科学家基金!(项目编号 710 65 );山东省自然科学基金!(项目编号 Q97G0 115 8)

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

关 键 词：主动数据库 可终止性 动态分析 主动规则 

分 类 号：TP311.132[自动化与计算机技术—计算机软件与理论]