基于条件冲突分析的主动规则集汇流性判定方法.pdfVIP

第43卷第5期 V01．43 计算机科学 No．5 2016年5月 Science 2016 Computer May 基于条件冲突分析的主动规则集汇流性判定方法 熊中敏朱吉光李长绩袁红春 (上海海洋大学信息学院 上海201306) 摘要主动规则使数据库具备自反应能力，在数据库、知识库和无线传感器网络等领域得到了广泛应用。j12流性分 析是保持数据一致性的重要手段，但有效判定汇流性仍是一个难题。现有的方法基于规则可交换性进行判定，没有考 虑规则之间是否存在条件冲突而导致它们不可能同时出现在同一个执行序列中；同时基于触发关系的集合分析没有