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