.png){kind=icon}
返回
PARSEVAL: Plan-aware Test Database Generation for SQL Equivalence Evaluation
.png){kind=icon}
PRE
AI
DOI：10.14778/3749646.3749727.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
判定查询等价性在许多实际应用中发挥了关键作用，包括评估文本到SQL模型的准确性，其中需要将模型生成的查询与真实查询进行比较。尽管查询等价性在一般情况下是不可判定的，但研究人员已开发出两种重要方法来检查查询等价性：基于形式验证的和基于测试用例的。基于验证的解决方案确保正确性，但可能缺乏对高级SQL功能和跨数据库适应性的支持。测试用例具有灵活性，但存在特定约束和潜在不正确性（假阳性）。在本文中，我们提出了PARSEVAL，一种计划感知的SQL等价性评估框架，用于为给定查询生成测试数据库实例。我们观察到现有的测试数据生成方法未能充分探索查询结构。为解决此限制，PARSEVAL通过采用分支覆盖的概念，正式建模每个查询操作符的特定行为，并考虑逻辑查询计划的所有可能执行路径。我们在四个包含AI生成和人工编写的查询的数据集上验证了PARSEVAL的有效性和效率。实验结果表明，与最先进的形式验证方法相比，PARSEVAL支持多达40%更多的查询对。与现有的基于测试用例的方法相比，PARSEVAL在揭示更多不等价对的同时，速度提高了21倍。
Keyword:
VERIFICATION
期刊
P
IF:
3.3
论文数:
563
被引数:
1.2W
机构
引用论文
.png){kind=icon}
SPES: A Symbolic Approach to Proving Query Equivalence Under Bag SemanticsSPES：一种在包语义下证明查询等价性的符号方法
PREAI
分享收藏VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity ConstraintsVeriEQL：具有完整性约束的复杂SQL查询的有界等价性验证
OAAI
OAAI分享收藏Axiomatic foundations and algorithms for deciding semantic equivalences of SQL queries公理基础与判断SQL查询语义等价性的算法OAAI
OAAI分享收藏
查看更多内容