| 带有规则优先级的主动规则终止性分析 |
| |
| 引用本文： | 杨泽雪,周屹,胡心怡,赵庆双.带有规则优先级的主动规则终止性分析[J].黑龙江工程学院学报,2010,24(1):57-59,76. |
| |
| 作者姓名： | 杨泽雪 周屹 胡心怡 赵庆双 |
| |
| 作者单位： | 黑龙江工程学院计算机科学与技术系;哈尔滨工业大学电子与信息工程学院;哈尔滨师范大学; |
| |
| 基金项目： | 黑龙江省教育厅资助项目(11541291) |
| |
| 摘 要： | 主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去，即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数分析方法。针对已有分析方法的局限性，介绍一种主动数据库规则终止性分析的一种新方法，将主动规则翻译成逻辑语句，考虑到系统的执行语义，转换为演绎规则中已知终止性的主动过程，利用该规则终止性分析方法对更多规则进行终止性分析，给出相应定理及其证明，最后给出规则优先级算法。
|
| 关 键 词： | 主动数据库 终止性 演绎数据库 |
Termination analysis of active rules with prioritization |
| |
| YANG Ze-Xue,ZHOU Yi,HU Xin-yi,ZHAO Qing-shuang.Termination analysis of active rules with prioritization[J].Journal of Heilongjiang Institute of Technology,2010,24(1):57-59,76. |
| |
| Authors: | YANG Ze-Xue ZHOU Yi HU Xin-yi ZHAO Qing-shuang |
| |
| Affiliation: | 1.Dept.of Computer Science and Technology/a>;Heilongjiang Institute of Technology/a>;Harbin 150050/a>;China/a>;2.Electronics and Information Engineering School/a>;Harbin Institute of Technology/a>;Harbin 150001/a>;3.Harbin Normal University/a>;Harbin 150025/a>;China |
| |
| Abstract: | Termination of a set of rules is to generate rules for which it is possible to guarantee rules can not trigger each other infinitely,i.e.,the execution is terminate.The approach for active rules termination analysis include graph and algebraic approach.In order to overcome limitation of existed termination analysis mothod,a new method for rule termination analysis within active databases is introduced.The method translates the active rules into logical clauses,taking into account the system's execution sema... |
| |
| Keywords: | active databases termination deductive databases |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
