| 基于条件公式的主动规则集可终止性判定 |
| |
| 引用本文： | 熊中敏,郝忠孝.基于条件公式的主动规则集可终止性判定[J].哈尔滨工业大学学报,2009,41(5):221-225. |
| |
| 作者姓名： | 熊中敏 郝忠孝 |
| |
| 作者单位： | 熊中敏(哈尔滨理工大学计算机与控制学院,哈尔滨,150080;上海海洋大学,信息学院,上海,201306);郝忠孝(哈尔滨理工大学计算机与控制学院,哈尔滨,150080;哈尔滨工业大学计算机科学与技术学院,哈尔滨,150001)
|
| |
| 基金项目： | 科技部科研专项经费基金资助项目，上海市科委重大专项资助项目，黑龙江省自然科学基金资助项目 |
| |
| 摘 要： | 针对利用触发图和活化图的方法来判定主动规则集的可终止性存在一定的局限性,从而影响了运行阶段规则系统的执行效率并限制了主动规则在众多领域中的灵活应用的问题.提出了利用基于活化路径建立的条件公式进行判定的方法,结果表明该方法可以比现有方法发现更多的可终止性情形.对主动规则集的设计和应用具有一定的意义.
|
| 关 键 词： | 主动数据库 规则分析 活化路径 条件公式 可终止性 |
Determination of termination for a rule set based on conditional formula |
| |
| XIONG Zhong-min,HAO Zhong-xiao.Determination of termination for a rule set based on conditional formula[J].Journal of Harbin Institute of Technology,2009,41(5):221-225. |
| |
| Authors: | XIONG Zhong-min HAO Zhong-xiao |
| |
| Affiliation: | 1,3(1. School of Computer and control,Harbin University of Science and Technology,Harbin 150080,China; 2. School of Information,Shanghai Ocean University,Shanghai 201306,China; 3. College of Computer Science and Technology,Harbin Institute of Technology,Harbin 150001,China) |
| |
| Abstract: | To overcome the defect that active rules termination proved by triggering and activation graphs is conservative in active database,and improve the efficiency of run-time rule analysis,the conditional formula constructing for an activation path is proposed in this paper and a novel approach to determine the termination of active rules set is presented. Analytical results prove that the proposed approach can detect more termination situations than existing methods. The work done in this paper will give some help for the design and application of active rules. |
| |
| Keywords: | active database rule analysis activation path conditional formula termination |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
