存在全称约束时的一致性查询回答

一致性查询回答和修复的框架已被引入，以减轻不一致数据对查询答案的影响。修复是一个最小程度不同的、一致的实例，如果一个答案存在于每一个修复中，则该答案是一致的。在本文中，我们研究了存在全称约束时一致性查询回答和修复检查的复杂性。我们提出了冲突超图的一个扩展版本，它允许捕获关于一组全称约束的所有修复。我们证明，对于全元组生成依赖和否定约束类，修复检查属于多项式时间，并提出了一个多项式修复算法。该算法是可靠的，即总是产生一个修复，同时也是完备的，即每个修复都可以被构造出来。接下来，我们提出了一个多项式时间算法，用于在存在否定约束、连接依赖和无环全元组生成依赖的情况下，计算对地面无量词查询的一致性回答。最后，我们表明扩展约束类会导致难解性。对于任意的全元组生成依赖，一致性查询回答变为coNP-完全。对于任意的全称约束，一致性查询回答是Π₂ᵖ-完全的，修复检查是coNP-完全的。