使用元组删除进行最小变更完整性维护
摘要：在关系数据库的完整性约束的背景下，我们解决了最小变化完整性维护的问题。我们假设完整性恢复操作仅限于元组删除。我们确定了两个基本的计算问题：修复检查（给定数据库的数据库实例是否是修复的？）和一致的查询答案（给定查询中的元组是否是给定数据库的每个修复的答案？）。我们研究了这两个问题的计算复杂性，勾勒了可处理和不可处理之间的边界。我们考虑了否定约束、一般的函数和包含依赖关系，以及主键和外键约束。我们的结果揭示了最小变化完整性维护的计算可行性。可处理的情况应导致实际的实现。不可处理的结果突显了任何完整性强制机制的固有局限性，例如触发器或引用约束操作，作为执行最小变化完整性维护的方式。
作者：Jan Chomicki and Jerzy Marcinkowski
论文ID：cs/0212004
分类：Databases
分类简称：cs.DB
提交时间：2007-05-23