位置:成果数据库 > 期刊 > 期刊详情页
含排他性选择规则的主动规则集的汇流性判定方法
  • ISSN号:1000-1239
  • 期刊名称:计算机研究与发展
  • 时间:2013
  • 页码:109-116
  • 期号:S1
  • 便笺:11-1777/TP
  • 分类:TP311.13[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者地址:上海海洋大学信息学院;
  • 作者机构:[1]上海海洋大学信息学院
  • 相关基金:上海市科委重点支撑基金项目(12510502000);国家“九七三”重点基础研究发展计划基金项目(2012CB316200);国家自然科学基金项目(61272098,61070032)
中文摘要:

主动规则已经应用于主动数据库、XML文档和语义网络等领域,主动规则集的汇流性维护了数据库的数据一致性、保证了数据质量,但现有方法不能有效地判定主动规则集的汇流性.现有的方法基于规则可交换性进行判定,但只是针对指定了优先级的规则集,对没有指定优先级的规则集的汇流性没有相应的判定方法;同时也没有考虑在同一个初始状态下,不同的规则调度是否都能被条件满足.为此,提出了排他性选择规则的概念和更有效的汇流性先决条件及其汇流判定定理.同时给出了新的判定算法的完整描述及其可终止性、正确性证明和复杂度分析.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编:徐志伟
  • 地址:北京市科学院南路6号中科院计算所
  • 邮编:100190
  • 邮箱:crad@ict.ac.cn
  • 电话:010-62620696 62600350
  • 国际标准刊号:ISSN:1000-1239
  • 国内统一刊号:ISSN:11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊,2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:40349