含排他性选择规则的主动规则集的汇流性判定方法
主动规则已经应用于主动数据库、XML文档和语义网络等领域,主动规则集的汇流性维护了数据库的数据一致性、保证了数据质量,但现有方法不能有效地判定主动规则集的汇流性现有的方法基于规则可交换性进行判定,但只是针对指定了优先级的规则集,对没有指定优先级的规则集的汇流性没有相应的判定方法;同时也没有考虑在同一个初姑状态下,不同的规则调度所满足的条件.提出了排他性选择规则的概念和更有效的汇流性先决条件及其汇流判定定理同时给出了新的判定算法的完整描述及其可终止性、正确性证明和复杂度分析.
主动规则集 汇流性 判定算法 数据质量 排他性选择规则
熊中敏 赵梦露 周雪楠 黄冬梅
上海海洋大学信息学院 上海201306
国内会议
哈尔滨
中文
109-116
2013-08-16（万方平台首次上网日期，不代表论文的发表时间）