聚合 Count-Distinct 查询等价性的可判定性
数据库
2015-09-02 v1
摘要
我们探讨了 count-distinct 聚合查询的等价性问题，证明了该问题是可判定的，并且可在多项式层级的第三层中判定。我们引入了带比较的合取查询的核概念，作为关系查询经典概念的扩展，并证明了查询核之间存在同构是带比较的合取查询等价的充分必要条件，这与经典关系设定类似。然而，这并不是 count-distinct 查询等价的必要条件。我们基于一个新概念引入了该条件的松弛形式，该概念是一个可能与初始查询等价的新查询，旨在刻画 count-distinct 操作符的行为。
引用
@article{arxiv.1509.00100,
title = {Decidability of Equivalence of Aggregate Count-Distinct Queries},
author = {Babak Bagheri Hariri and Val Tannen},
journal= {arXiv preprint arXiv:1509.00100},
year = {2015}
}