[论文解读] Priority-Based Conflict Resolution in Inconsistent Relational Databases

Sławek Staworko, Jan Chomicki|ArXiv.org|Jun 14, 2005

Logic, Reasoning, and Knowledge参考文献 24被引用 9

一句话总结

本文提出一种基于优先级的框架，用于解决不一致关系数据库中的冲突，通过引入两种类型的首选修复——局部优先修复（l-repairs）和全局优先修复（g-repairs）——来优化一致查询结果。该框架建立了关于一致性、单调性和确定性的后设公理，并分析了修复检查与查询回答的计算复杂度，表明g-repairs使复杂度提升至Π₂^p-完全，而l-repairs仍保持co-NP-完全。

ABSTRACT

We study here the impact of priorities on conflict resolution in inconsistent relational databases. We extend the framework of repairs and consistent query answers. We propose a set of postulates that an extended framework should satisfy and consider two instantiations of the framework: (locally preferred) l-repairs and (globally preferred) g-repairs. We study the relationships between them and the impact each notion of repair has on the computational complexity of repair checking and consistent query answers.

研究动机与目标

• 为解决现有一致查询结果框架的局限性，即对所有修复一视同仁，未对某些修复结果给予优先考虑。
• 通过引入反映现实世界数据质量信号（如时间戳、数据源可靠性或元组排序）的优先级信息，形式化一个基于原则的首选修复框架。
• 定义并验证一组后设公理——非空性、无歧视性、单调性与确定性——以确保修复选择过程中的语义一致性和一致性。
• 分析在所提出的首选修复模型下，修复检查与一致查询回答的计算复杂度。
• 比较标准修复与l-repairs（局部优先）和g-repairs（全局优先）在语义与复杂度特性上的差异。

提出的方法

• 通过在元组或修复上引入优先关系Φ，扩展标准修复框架，用于定义一组首选修复Rep^Φ。
• 定义两种具体实现：l-repairs通过在每个冲突集中优先选择高优先级元组来实现局部冲突解决；g-repairs则选择在修复的全序关系下全局最优的修复。
• 施加四个后设公理：非空性（Rep^Φ ≠ ∅）、无歧视性（Rep^∅ = Rep）、单调性（Φ ⊆ Ψ ⇒ Rep^Ψ ⊆ Rep^Φ）与确定性（最大Φ值产生且仅产生一个修复）。
• 使用修复图与冲突图建模冲突，并应用基于优先级的选择规则剪枝非首选修复。
• 通过将修复检查与一致查询回答归约至已知复杂度类，分析计算复杂度，表明l-repairs为co-NP-完全，g-repairs为Π₂^p-完全。
• 与先前工作（如优先逻辑编程、排序函数与修复约束）进行比较，突出在表达力与复杂度之间的权衡。

实验结果

研究问题

• RQ1 如何将完整性约束扩展以包含优先级信息，从而指导不一致数据库中的冲突解决？
• RQ2 一个首选修复框架应满足哪些形式后设公理，以确保语义一致性和一致性？
• RQ3 l-repairs与g-repairs在语义行为与计算复杂度上存在哪些差异？
• RQ4 优先级信息对一致查询回答复杂度有何影响？
• RQ5 该框架能否推广以处理涉及多于两个元组的超图冲突？

主要发现

• 该框架满足所有四个后设公理：非空性确保至少存在一个首选修复；无歧视性确保在无优先信息时保留标准修复；单调性确保增加优先信息会缩小首选修复集合；确定性确保最大优先信息产生且仅产生一个修复。
• l-repairs计算效率更高：修复检查可在PTIME内完成，且对合取查询的一致查询回答为co-NP-完全。
• g-repairs表达力更强但计算开销更大：修复检查为co-NP-完全，一致查询回答为Π₂^p-完全。
• 该框架通过提供基于公理的清晰语义基础，推广了先前方法（如元组排序[20]与基于多项式的修复排序[17]）。
• 该框架在捕捉首选修复方面比先前基于逻辑编程的方法（如[13]）更具表达力，尽管计算成本更高。
• 本文识别出现有框架的局限性，如某些先前模型违反了后设公理P3与P4，而所提框架通过形式化后设公理避免了这些问题。