.png){kind=icon}
返回
QED: A Powerful Query Equivalence Decider for SQL
.png){kind=icon}
PRE
AI
DOI：10.14778/3681954.3682024.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
检查查询等价性在数据库系统中具有重要意义。在自动化查询等价性检查方面，先前的工作在形式化建模和推理查询优化规则方面迈出了第一步，但仅支持有限的查询特性。本文提出Qed，一个基于包语义（bag semantics）的查询等价性检查新框架。Qed采用一种新的形式化方法，称为Q-expressions，它使用不同的范式来建模查询以进行高效的等价性检查，并以一种原则性的方式建模完整性约束和NULL，这与先前的工作不同。我们的形式化方法还允许我们定义一个新的查询片段，该片段涵盖了在假设有一个完整的阶理论求解器（first-order theory solver）的情况下的许多现实世界查询，并具有完整的等价性检查算法。经验上，Qed能够验证从Calcite框架中提取的444对查询中的299对以及从CockroachDB中提取的1287对查询中的979对，这比先前最先进的求解器证明的案例数量多出两倍以上。
期刊
P
IF:
3.3
论文数:
563
被引数:
1.2W
机构
引用论文
.png){kind=icon}
SPES: A Symbolic Approach to Proving Query Equivalence Under Bag SemanticsSPES：一种在包语义下证明查询等价性的符号方法
PREAI
分享收藏Axiomatic foundations and algorithms for deciding semantic equivalences of SQL queries公理基础与判断SQL查询语义等价性的算法
OAAI
OAAI分享收藏
Automated verification of query equivalence using satisfiability modulo theories使用可满足性模理论自动验证查询等价性
PREAI
分享收藏
查看更多内容