-
题名含排他性选择规则的主动规则集的汇流性判定方法
被引量：1
- 1
-
-
作者
熊中敏
赵梦露
周雪楠
黄冬梅
-
机构
上海海洋大学信息学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第S1期109-116,共8页
-
基金
上海市科委重点支撑基金项目(12510502000)
国家"九七三"重点基础研究发展计划基金项目(2012CB316200)
+1 种基金
国家自然科学基金项目(61272098
61070032)
-
文摘
主动规则已经应用于主动数据库、XML文档和语义网络等领域,主动规则集的汇流性维护了数据库的数据一致性、保证了数据质量,但现有方法不能有效地判定主动规则集的汇流性.现有的方法基于规则可交换性进行判定,但只是针对指定了优先级的规则集,对没有指定优先级的规则集的汇流性没有相应的判定方法;同时也没有考虑在同一个初始状态下,不同的规则调度是否都能被条件满足.为此,提出了排他性选择规则的概念和更有效的汇流性先决条件及其汇流判定定理.同时给出了新的判定算法的完整描述及其可终止性、正确性证明和复杂度分析.
-
关键词
主动数据库
规则分析
汇流性
排他选择规则
数据质量
-
Keywords
active database
rule analysis
confluence
exclusive rule
data quality
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于执行图的主动规则集汇流性判定
- 2
-
-
作者
刘泓漫
-
机构
上海电机学院电子信息学院
-
出处
《上海电机学院学报》
2006年第S1期5-7,15,共4页
-
基金
上海高校选拔培养优秀青年教师科研专项基金资助项目(06A107)
-
文摘
针对主动规则集的汇流性问题进行了研究,通过对规则的可交换性及执行图的分析,提出了主动规则集汇流性判定定理,该定理的提出提高了汇流性判定的精确度。
-
关键词
规则集
汇流性
执行图
-
Keywords
rule set
confluence
execution graph
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名关于主动数据库的汇流性问题
- 3
-
-
作者
蒋传来
郝忠孝
-
机构
哈尔滨理工大学计算机与控制学院
-
出处
《哈尔滨理工大学学报》
CAS
2004年第2期73-75,共3页
-
基金
黑龙江省自然科学基金(F00-06)
-
文摘
针对主动数据库主动规则汇流性分析问题,必须考虑规则与规则之间的相互影响,讨论了带有规则交互关系的主动数据库中的汇流性属性,并在分析了规则的交互关系的基础上,给出了保证主动数据库汇流的充分条件。
-
关键词
主动数据库
汇流性
事件
条件
动作
主动规则
-
Keywords
active database
confluence
event
condition
action
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于条件冲突分析的主动规则集汇流性判定方法
- 4
-
-
作者
熊中敏
朱吉光
李长绩
袁红春
-
机构
上海海洋大学信息学院
-
出处
《计算机科学》
CSCD
北大核心
2016年第5期169-173,共5页
-
基金
上海市科委科技支撑项目(14391901400)
国家自然科学基金(61272098)
+1 种基金
国家973重大基础研究基金(2012CB316200)
2015年度上海海洋大学大学生创新计划项目资助
-
文摘
主动规则使数据库具备自反应能力,在数据库、知识库和无线传感器网络等领域得到了广泛应用。汇流性分析是保持数据一致性的重要手段,但有效判定汇流性仍是一个难题。现有的方法基于规则可交换性进行判定,没有考虑规则之间是否存在条件冲突而导致它们不可能同时出现在同一个执行序列中;同时基于触发关系的集合分析没有考虑在规则触发序列中的先后时序性。为此,提出了规则的触发序列概念,分析了单个触发序列上的条件冲突和一对无序规则所在的两条触发序列之间的条件冲突,从而提出了更有效的汇流性先决条件及其判定定理,同时给出了新的判定算法的完整描述及其可终止性、正确性证明和复杂度分析。
-
关键词
主动数据库
规则分析
汇流性
条件冲突
数据一致性
-
Keywords
Active database
Rule analysis
Confluence
Condition conflict
Data consistency
-
分类号
TP311.131
[自动化与计算机技术—计算机软件与理论]
-
-
题名主动规则的汇流性分析
- 5
-
-
作者
杨泽雪
-
机构
黑龙江工程学院
-
出处
《哈尔滨师范大学自然科学学报》
CAS
2008年第1期65-68,共4页
-
文摘
规则集的汇流是指最终的数据库状态不依赖于主动规则被选择执行的顺序.针对主动规则汇流性分析方法的局限性,介绍一种主动数据库规则汇流性分析的新方法,此方法将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知汇流性的主动过程.
-
关键词
主动数据库
汇流性
演绎数据库
-
Keywords
Active databases
Confluence
Deductive databases
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TV121.7
[自动化与计算机技术—计算机科学与技术]
-
