表示修复的分离数据库
摘要：用非交数据库表示可能不一致数据库的修复集合的问题在本文中进行了讨论。具体地，考虑了否定约束的类别。我们展示了，在给定的数据库和一组否定约束的情况下，存在一个（唯一的）非交数据库，称为规范数据库，它表示了相对于约束的数据库的修复，并包含在具有相同最小模型集合的任何其他非交数据库中。我们提出了一种计算规范非交数据库的算法。最后，我们研究了在存在功能依赖的情况下，修复和基于基数的修复的规范非交数据库的大小。
作者：Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowski
论文ID：0811.2117
分类：Databases
分类简称：cs.DB
提交时间：2008-11-14