[论文解读] Semantically Correct Query Answers in the Presence of Null Values

Loreto Bravo, Leopoldo Bertossi|ArXiv.org|Apr 19, 2006

Logic, Reasoning, and Knowledge参考文献 29被引用 7

一句话总结

本文提出了一种新颖的语义模型，用于包含空值的数据库中的一致性查询回答（CQA），其中通过使用空值修复参照完整性，避免产生无限不一致循环。通过将修复建模为不相容逻辑程序的稳定模型，该方法在存在循环情况时，仍能保证对通用约束、外键约束和NOT NULL约束的CQA可判定性，确保与商用DBMS的兼容性，并实现具有紧密复杂度界限的高效查询评估。

ABSTRACT

For several reasons a database may not satisfy a given set of integrity constraints(ICs), but most likely most of the information in it is still consistent with those ICs; and could be retrieved when queries are answered. Consistent answers to queries wrt a set of ICs have been characterized as answers that can be obtained from every possible minimally repaired consistent version of the original database. In this paper we consider databases that contain null values and are also repaired, if necessary, using null values. For this purpose, we propose first a precise semantics for IC satisfaction in a database with null values that is compatible with the way null values are treated in commercial database management systems. Next, a precise notion of repair is introduced that privileges the introduction of null values when repairing foreign key constraints, in such a way that these new values do not create an infinite cycle of new inconsistencies. Finally, we analyze how to specify this kind of repairs of a database that contains null values using disjunctive logic programs with stable model semantics.

研究动机与目标

• 解决包含空值的数据库中的一致性查询回答（CQA）挑战，其中传统修复方法因无限不一致循环而失效。
• 定义一种在存在空值时精确满足完整性约束（IC）的语义，使其与商用DBMS行为一致，并防止空值引入新的不一致。
• 提出一种新的修复语义，优先通过引入空值来修复外键违反，避免无限修复循环。
• 通过将修复指定为不相容逻辑程序的稳定模型，使CQA适用于广泛的IC类，包括循环参照约束。
• 针对数据复杂度较低的IC类（如拒绝约束和无环外键集）优化修复程序规格。

提出的方法

• 引入一种在含空值数据库中满足完整性约束的新型语义，确保相关属性中包含空值的元组不会引发新的不一致。
• 定义一种修复操作，允许使用空值修复参照完整性约束，并通过正式条件防止新不一致的无限循环。
• 将修复建模为不相容逻辑程序的稳定模型，通过修改程序构造方式，恢复无环外键约束下稳定模型与修复之间的一一对应关系。
• 应用稳定模型语义，通过谨慎推理指定一致查询答案，确保答案在所有修复中均有效。
• 引入一种将非不相容程序（sh(Π)）转换为无头环（HCF）程序的方法，支持特定IC类的复杂度分析与优化。
• 证明在该语义下CQA是可判定的，且具有紧密复杂度界限，与CQA的内在复杂度（Π²₂-完全）一致，对特定IC类给出下界。

实验结果

研究问题

• RQ1 如何在包含空值的数据库中语义化地满足完整性约束，使其与商用DBMS行为一致，并防止不一致的无限传播？
• RQ2 什么样的修复语义允许使用空值修复外键违反，而不会引入新不一致或产生无限修复循环？
• RQ3 能否为包含空值和复杂约束（包括循环参照约束）的数据库高效计算一致查询答案？
• RQ4 如何通过不相容逻辑程序的稳定模型语义正式指定修复，以确保正确性与完备性？
• RQ5 对于哪些完整性约束类，CQA的数据复杂度可低于一般Π²₂上界？

主要发现

• 所提出的IC满足语义确保外键属性中的空值不会引发新不一致，从而实现安全且有限的修复过程。
• 新修复语义使CQA在通用约束、外键约束（包括循环情况）和NOT NULL约束下均具有可判定性。
• 对于无环外键约束，修复可正确地表示为不相容逻辑程序的稳定模型，恢复了稳定模型与修复之间的一一对应关系。
• 对于拒绝约束及其他无环IC类，CQA的数据复杂度降低至coNP，与已知下界一致，支持高效评估。
• 该方法支持在虚拟数据集成等全数据库修复不可行或不可能的场景中实现一致查询回答。
• 该框架与商用DBMS兼容，为在含空值的真实系统中实现CQA提供了实用基础。