| 主动规则可终止性的动态分析方法 |
| |
| 引用本文： | 杨波,王海洋,董继润.主动规则可终止性的动态分析方法[J].计算机研究与发展,2000,37(8):1018-1024. |
| |
| 作者姓名： | 杨波 王海洋 董继润 |
| |
| 作者单位： | 山东大学计算机科学系,济南,250100 |
| |
| 基金项目： | 霍英东青年科学家基金!(项目编号 710 65 )，山东省自然科学基金!(项目编号 Q97G0 115 8) |
| |
| 摘 要： | 判定主动规则集合的执行情况是相当困难的，尤其是在主动规则支持复合事件时，提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型，归结出主动规则可终止的充分必要条件，并进一步提出了利用动态分析模型进行主动规则可终止性判定的算法，该模型易于实现，能有效描述规则集合的动态特性，可以作为分析主动规则集合行为的理论基础，还可以用于对主动规则的辅助设计和验证。
|
| 关 键 词： | 主动数据库 可终止性 动态分析 主动规则 |
A DYNAMIC ANALYSIS METHOD OF THE TERMINATION OF ACTIVE RULES |
| |
| YANG Bo,WANG Hai-Yang,DONG Ji-Run.A DYNAMIC ANALYSIS METHOD OF THE TERMINATION OF ACTIVE RULES[J].Journal of Computer Research and Development,2000,37(8):1018-1024. |
| |
| Authors: | YANG Bo WANG Hai-Yang DONG Ji-Run |
| |
| Abstract: | 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. |
| |
| Keywords: | active database composite event termination dynamic analysis rule base |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
