主键和合取查询的一致性查询答案与计数
摘要：可数扩展的一致查询回答问题已经在近年来得到广泛研究，并且目前已经很好地被理解。本文研究了一种具有计数功能的该问题的扩展。我们考虑的查询是计算在完整合取查询的答案的指定（可能是复合的）列中每个值出现的次数。在数据库修复的环境下，我们采用[Arenas et al.，ICDT 2001]的语义，该语义计算这些计数的紧密下界和上界，其中边界是对所有修复进行取值。 Ariel Fuxman在他的博士论文中定义了一种叫做C_forest的查询的句法类，该查询通过执行两个一阶查询（一个用于下界，一个用于上界）然后进行简单计数步骤来完成此计算过程。我们用术语“简化计数”来表示此计算过程。一个自然的问题是，C_forest是否包含了所有能够进行简化计数的无自连接合取查询。我们是否定地回答了这个问题。我们定义了一个新的句法查询类，称为C_parsimony，并证明它包含所有（且仅包含）能够进行简化计数的无自连接合取查询。
作者：Aziz Amezian El Khalfioui and Jef Wijsen
论文ID：2211.04134
分类：Databases
分类简称：cs.DB
提交时间：2023-02-24