存在普遍约束条件下的一致查询答案
摘要：一致查询答案和修复的框架被引入，以减轻不一致数据对查询答案的影响。修复是一个最小差异的一致实例，如果答案在每个修复中都存在，则该答案是一致的。在本文中，我们研究了一致查询答案和在存在普遍约束的情况下的修复检查的复杂性。 我们提出了一个扩展版本的冲突超图，它可以捕捉到关于一组普遍约束的所有修复。我们证明了对于全元组生成依赖和否定约束类，修复检查是PTIME可解的，并且我们提出了一个多项式修复算法。这个算法是完备的，即总是产生一个修复，但也是完全的，即每个修复都可以构建出来。接下来，我们提出了一个多项式时间算法，在否定约束、连接依赖和无环全元组生成依赖存在的情况下，计算出关于基于量词的查询的一致答案。最后，我们展示了扩展约束类导致问题难以处理的情况。对于任意全元组生成依赖，一致查询答案变成了coNP-complete。对于任意普遍约束，一致查询答案成为Pi_2^p-complete，修复检查成为coNP-complete。
作者：Slawomir Staworko, Jan Chomicki
论文ID：0809.1551
分类：Databases
分类简称：cs.DB
提交时间：2009-02-19