10.3969/j.issn.1671-4679.2010.01.017
带有规则优先级的主动规则终止性分析
主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的.对主动规则的终止性分析方法包括图方法和代数分析方法.针对已有分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程,利用该规则终止性分析方法对更多规则进行终止性分析,给出相应定理及其证明,最后给出规则优先级算法.
主动数据库、终止性、演绎数据库
24
TP311.13(计算技术、计算机技术)
黑龙江省教育厅资助项目11541291
2010-06-28(万方平台首次上网日期,不代表论文的发表时间)
共4页
57-59,76