[论文解读] Minimal-Change Integrity Maintenance Using Tuple Deletions

Jan Chomicki, Jerzy Marcinkowski|ArXiv.org|Dec 5, 2002

Advanced Database Systems and Queries参考文献 35被引用 6

一句话总结

本文研究仅通过元组删除来恢复一致性的关系数据库中的最小变化完整性维护。它识别出在拒绝约束、函数依赖和包含依赖以及主键/外键约束下，修复检查和一致查询回答的可解情况，明确了可解与不可解场景之间的复杂度边界。

ABSTRACT

We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are limited to tuple deletions. We identify two basic computational issues: repair checking (is a database instance a repair of a given database?) and consistent query answers (is a tuple an answer to a given query in every repair of a given database?). We study the computational complexity of both problems, delineating the boundary between the tractable and the intractable. We consider denial constraints, general functional and inclusion dependencies, as well as key and foreign key constraints. Our results shed light on the computational feasibility of minimal-change integrity maintenance. The tractable cases should lead to practical implementations. The intractability results highlight the inherent limitations of any integrity enforcement mechanism, e.g., triggers or referential constraint actions, as a way of performing minimal-change integrity maintenance.

研究动机与目标

• 解决在完整性约束被违反时，以最小更改恢复数据库一致性的挑战。
• 将最小变化完整性维护形式化为更新后的后处理过程，重点通过元组删除尽可能保留数据。
• 分析两个核心问题的计算复杂度：修复检查和一致查询答案。
• 划定包括拒绝约束、函数依赖和包含依赖在内的完整性约束类中，可解与不可解情况的边界。
• 为数据集成和数据仓库应用中常见的数据不一致问题提供实际实现的基础。

提出的方法

• 将修复定义为仅通过元组删除从原始数据库中获得的、满足所有完整性约束的最小子集。
• 将修复检查形式化为判断给定数据库实例是否为原始数据库的有效修复。
• 将一致查询答案研究为在每个可能修复中均为真的答案，使用查询重写和逻辑表征方法。
• 分析不同查询类型下的复杂度：无量词、选择性查询和简单选择性查询。
• 根据约束类型对复杂度进行分类：拒绝约束、函数依赖（FDs）、包含依赖（INDs）及其组合。
• 使用归约和复杂性理论分析，证明特定查询与约束类组合的PTIME可解性。

实验结果

研究问题

• RQ1 哪些完整性约束与查询类型的组合可使修复检查在多项式时间内完成？
• RQ2 在仅允许元组删除的条件下，一致查询答案在何种情况下是可解的？
• RQ3 对函数依赖和包含依赖的句法限制如何影响完整性维护的复杂度？
• RQ4 仅限制为元组删除是否能保持主键和外键约束的可解性？
• RQ5 包含依赖的无环性和一元结构对修复检查和一致查询答案复杂度有何影响？

主要发现

• 在任意拒绝约束下，对无量词的基查询，修复检查属于PTIME。
• 当每个关系中至多存在一个函数依赖时，闭合简单选择性查询的一致查询答案可在PTIME内计算。
• 当一般函数依赖和包含依赖组合时，即使包含依赖为无环，一致查询答案问题也会变得不可解。
• 包含依赖的无环性并不能保证一致查询答案的可解性，尽管它能确保修复检查的可解性。
• 仅限制为元组删除不会降低拒绝约束的表达能力，因为删除是解决其违反的唯一方式。
• 在蕴含问题中能通过句法限制解耦FDs和INDs，但在修复和一致查询答案上下文中，由于修复中的最大性约束，无法获得类似的可解性。