Computing Consistent Least Upper Bounds in Aggregate Logic

doi:10.4230/LIPIcs.ICDT.2026.4

Computing Consistent Least Upper Bounds in Aggregate Logic

2026-01-01

0

PRE

AI

A

Aziz Amezian El Khalfioui *

J

Jef Wijsen

DOI：10.4230/LIPIcs.ICDT.2026.4

原文链接

原文求助

摘要

En 中文

我们考虑在可能违反主键约束的数据库实例上回答带聚合的合取查询的问题。在SQL中，这些查询遵循SELECT-FROM-WHERE-GROUP BY格式，其中WHERE子句涉及等式的合取，而SELECT子句可以包含MAX、MIN、SUM、AVG或COUNT等聚合算子。数据库实例的修复被定义为满足所有主键的包含极大子集。在不一致数据库上的数值查询的范围一致答案是一个对[glb, lub]，其中glb和lub分别是查询在所有可能修复上返回的最小和最大结果。尽管先前的工作专注于glb的计算，但本文研究非负有理数域上lub的计算。我们引入了自连接自由的合取查询的kappa-无环性概念。我们证明，如果SUM查询的体是kappa-无环的，那么lub可以通过一阶聚合逻辑的重写来计算。此外，我们证明这一结果可扩展到所有单调且可结合的聚合算子。重要的是，我们还证明了逆命题：如果SUM查询的体不是kappa-无环的，那么lub不能在一阶聚合逻辑中计算。

Keyword:

Consistent query answering

primary key

conjunctive query

aggregate logic

Computing Consistent Least Upper Bounds in Aggregate Logic

摘要

期刊

机构

引用论文