-
题名计算主动数据库中不可归约规则集的有效算法
被引量：11
- 1
-
-
作者
郝忠孝
熊中敏
-
机构
哈尔滨理工大学计算机与控制学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2006年第2期281-287,共7页
-
基金
黑龙江省自然科学基金项目(F00-06)~~
-
文摘
主动数据库中规则集的可终止性判定是一个重要问题,已经成为一个研究热点·有些研究工作提出了在编译阶段运用触发图和活化图的方法解决这个问题,其中的一个关键技术就是计算主动规则集的不可归约规则集·现有的计算方法由于具有一定保守性,使得计算出的不可归约规则集仍可进一步地归约,这无疑将影响到规则集的可终止性判定的准确性和运行阶段规则分析的效率·经过深入分析活化规则可无限执行的特点,提出了活化路径等概念·基于这些概念,提出了一个计算主动规则集的不可归约规则集的有效算法,使现有方法求得的不可归约规则集得到进一步的归约·
-
关键词
主动数据库
规则分析
活化路径
禁止活化环
不可归约规则集
-
Keywords
active database
rule analysisl activation path
inhibited activation cycle
irreducible rule set
-
分类号
TP311.131
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于自依赖规则分析的主动规则终止性研究
- 2
-
-
作者
陆惠玲
周涛
-
机构
宁夏医科大学理学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2013年第8期135-143,共9页
-
基金
国家自然科学基金资助项目(81160183)
教育部"春晖计划"资助项目(Z2011051)
+3 种基金
宁夏自然科学基金资助项目(NZ12179)
宁夏高等学校科研重点资助项目(NGY2011042)
宁夏医科大学特殊人才项目(XT2011004)
宁夏医科大学青年基金资助项目(XQ2011011)
-
文摘
ECA规则终止性问题是主动数据库中一个关键问题,首先分析触发边、活化边、惰化边三种边的触发时序关系;然后构造条件断言函数来描述活化边和惰化边对ECA规则中条件的影响,总结出了触发边、活化边和惰化边的组合时序对规则的具体触发情况;最后在此基础上进一步完善了BarakisR提出的不可归约规则集中的自依赖规则判定算法,对其中能够形成环状结构的自触发规则进行了全面的讨论,提出一种新的自依赖规则判定算法。该算法首先找到在不可归约集中由自触发规则引发的循环触发,然后对自触发规则进行单独处理来打断这个环从而使规则集终止,有效提高了规则终止性问题的判断能力。
-
关键词
主动规则
终止性分析
自依赖规则
不可归约规则集
-
Keywords
active rules
termination analysis
self-dependent rules
irreducible rule set
-
分类号
TP311.131
[自动化与计算机技术—计算机软件与理论]
-
