论文部分内容阅读
根据冲突分类规则,对非删除规则产生的关键对的计算进行优化,以避免计算2个非删除规则的交叠。探讨对一种给定带否定应用条件(NAC)的图转换系统可直接计算出关键对的方法,直接构建带NAC的关键对。针对每个冲突原因存在一个有效关键对,可用最小上下文来表示冲突。有效关键对集合仅为关键对集合的子集。该方法可简化系统中冲突的汇合性分析,简化静态冲突检测方法。