具有空值和函数依赖关系的表中的一致查询回答
摘要：在这篇论文中，我们研究了在包含空值和功能依赖的表中进行一致性查询回答。给定这样一个表T，我们考虑由出现在T中的常量构建的所有元组的集合，我们使用集合论语义来刻画元组和功能依赖的元组Tuples：首先是作为真或假的元组，然后作为一致或不一致的元组。查询是针对T发出的，并在Tuples中进行评估。在这种情况下，我们考虑一个查询Q：从T中选择X，其中条件是对T的，我们将其一致的答案定义为Tuples中满足以下条件的元组x的集合：x是一个模式为X的真且一致的元组，并且存在一个Tuples中x的真超元组t满足条件。我们展示了，根据超元组t在Tuples中的状态，对于Q有不同类型的一致回答。本文的主要贡献包括：(a)一种不使用表修复的一致查询回答的新方法；(b)用于计算Tuples的真假元组集合和一致不一致元组集合的多项式算法；(c)基于T的大小计算不同类型的一致回答的合取和析取查询的多项式算法；以及(d)对我们的方法与使用表修复方法之间的差异进行了详细讨论。
作者：Dominique Laurent and Nicolas Spyratos
论文ID：2301.03668
分类：Databases
分类简称：cs.DB
提交时间：2023-02-16