具有否定的聚合查询之间的等价性

研究了具有否定子目标、常量和比较的析取聚合查询的查询等价性。给出了聚合函数等价性的完整表征计数、最大值、总和、prod、top2和奇偶校验一个相关的问题是确定给定自然数N个，两个给定查询在所有数据库上是否等价，最多N个常数。这个问题叫做有界等价给出了有界等价的可判定性的一个完整刻画。特别地，它表明这个问题对于所有上述聚合函数以及对于中国交通部（非重复计数）和平均值对于拟线性查询（即不重复出现正谓词的查询），可以在多项式时间内确定聚合函数的等价性计数、最大值、总和、prty、prod、top2和平均值类似的结果适用于中国交通部只要几个附加条件成立。结果是根据聚集函数的抽象特征给出的，并使用了新的证明技术。最后，上述结果还表明，在bag-set语义下，等价性对于带否定的非聚集查询是可判定的。