| 联合公式判定非循环执行路径 |
| |
| 引用本文： | 刘泓漫,郝忠孝.联合公式判定非循环执行路径[J].哈尔滨理工大学学报,2004,9(1):23-26. |
| |
| 作者姓名： | 刘泓漫 郝忠孝 |
| |
| 作者单位： | 1. 哈尔滨理工大学,计算机与控制学院,黑龙江,哈尔滨,150080
2. 哈尔滨理工大学,计算机与控制学院,黑龙江,哈尔滨,150080;哈尔滨工业大学,计算机学院,黑龙江,哈尔滨,150001 |
| |
| 基金项目： | 黑龙江省自然科学基金资助(F00-016) |
| |
| 摘 要： | 针对触发图中有环时，在实际运行中仅执行有限次，该规则集可能是可终止的，通过对规则集的静态分析，提出了联合公式的概念，给出了判定联合公式是否满足条件的算法和时间复杂度分析，联合公式的提出，简化了非循环路径的判定工作，为判定主动规则触发图为有环时的可终止性奠定了基础。
|
| 关 键 词： | 联合公式 非循环 执行路径 触发图 规则集 主动数据库 |
| 文章编号： | 1007-2683(2004)01-0023-04 |
| 修稿时间： | 2003年10月22 |
United Formula to Determine Acyclic Execution Paths |
| |
| LIU Hong-man,HAO Zhong-xiao.United Formula to Determine Acyclic Execution Paths[J].Journal of Harbin University of Science and Technology,2004,9(1):23-26. |
| |
| Authors: | LIU Hong-man HAO Zhong-xiao |
| |
| Abstract: | No cycles in TG is a sufficient condition of the termination of rule sets, but it is not a necessary condition. Because if there are cycles in the TG, the rule set may terminate if these cycles can only be executed a finite number of times. Through static analysis for active database rule sets, we present the concept of united formula and the algorithm to determine whether the united formula is satisfied. We also present the time complexity analysis of the algorithm. It is the base of determining termination of cyclic trigger graphs. |
| |
| Keywords: | rule set triggering graph united formula cycle |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
