Qex: Symbolic SQL Query Explorer

Qex: Symbolic SQL Query Explorer
复制标题

Qex：符号 SQL 查询浏览器

DOI：
--
复制
发表时间：
2010
期刊：
Logic Programming and Automated Reasoning
影响因子：
--
通讯作者：
J. D. Halleux
J. D. Halleux
中科院分区：
--
文献类型：
--
作者：
Margus Veanes;N. Tillmann;J. D. Halleux

文献摘要

被引文献

相似文献

我们描述了一种技术和一个称为Qex的工具，用于为给定的参数化SQL查询生成输入表和参数值。一个SQL查询的评价语义被翻译成一个特定的背景理论的可满足性模理论（SMT）求解器作为一组等式公理。目标公式的符号评估与背景理论一起产生一个模型，从中提取具体的表和值。我们在Qex的具体实现中使用SMT求解器Z3，并对其性能进行评估。
We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query. The evaluation semantics of an SQL query is translated into a specific background theory for a satisfiability modulo theories (SMT) solver as a set of equational axioms. Symbolic evaluation of a goal formula together with the background theory yields a model from which concrete tables and values are extracted. We use the SMT solver Z3 in the concrete implementation of Qex and provide an evaluation of its performance.