带有规则优先级的主动规则终止性分析.pdfVIP

第24卷第1期 黑龙江工程学院学报(自然科学版) VOL24№．1 2010年3月 of Instituteof Mar．，2010 Journal Heilongjiang Technology 带有规则优先级的主动规则终止性分析 杨泽雪1，周屹1，胡心怡2，赵庆双3 (1．黑龙江工程学院计算机科学与技术系，黑龙江哈尔滨150050；2．哈尔滨工业大学电子与信息工程学院，黑龙江哈尔 滨150001；3．哈尔滨师范大学，黑龙江哈尔滨150025) 摘要：主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去，即规则是可终止的。对主动规则的 终止性分析方法包括图方法和代数分析方法。针对已有分析方法的局限性，介绍一种主动数据库规则终止性分析 的一种新方法，将主动规则翻译成逻辑语句，考虑到系统的执行语义，转换为演绎规则中已知终止性的主动过程，利 用该规则终止性分析方法对更多规则进行终止性分析，给出相应定理及其证明，最后给出规则优先级算法。 关键词：主动数据库；终止性；演绎数据库 中图分类号：TP311．13文献标识码：A 文章编号：1671-4679(2010)01—0057—03 Terminationofactiveruleswith analysis prioritization YANGZe-Xuel，ZHOUYil，HU Xin—yi2，ZHAoQing-shuan93 Scienceand Instituteof 150050，China2．Electronicsand (1．Dept．ofComputer Technology，HeilongjiangTechnology，Harbin Information Instituteof Normal School，HarbinTechnology，Harbin150001，China；3．Harbin Engineering bin150025，China) ofasetofrulesisto rulesforwhichitis to rulescannot Abstract：Termination generate possibleguarantee eachother executionisterminate．Theforactiverulesterminationa— trigger infinitely，i．e．，the approach includeand orderto limitationexistedtermination nalysis graphalgebraicapproach．Inovercome of analy— sismothod．anewmethodforruleterminationwithinactivedatabasesiSintroduced．Themethod analysis translatestheactiverulesinto intoaccountthe execution logicalclauses，taking system’S known resultsabout for a— transferstotheactive