洞穴堆积 swMATH ID: 9944 软件作者： 玛格斯·维纳斯（Margus Veanes）；尼古拉·蒂尔曼；乔纳森·德·哈勒克斯 描述： Qex：符号SQL查询浏览器。我们描述了一种称为Qex的技术和工具，用于为给定的参数化SQL查询生成输入表和参数值。将SQL查询的求值语义转换为满足性模理论（SMT）求解器的特定背景理论，作为一组等式公理。目标公式的符号评估和背景理论产生了一个模型，从中可以提取具体的表和值。我们在Qex的具体实现中使用了SMT解算器Z3，并对其性能进行了评估。 主页： http://link.springer.com/chapter/10.1007/978-3-642-17511-4_24 相关软件： z3型;Z3str3型;陌生人;CVC4型;github;第3章;Z3str4号机组;TRAU公司;通过;Z3-街道;SMT-LIB公司;诺恩;MONA公司;TPTP公司;达夫尼 引用于： 5文件 全部的 前5名11位作者引用 2 克拉克·W·巴雷特。 2 安德烈斯·诺兹利 2 安德鲁·雷诺兹 2 塞萨尔·蒂内利 2 玛格斯·维纳斯 1 哈尼尔·巴博萨 1 尼古拉·S·比约纳。 1 克拉克（Edmund Melson jun Clarke）。 1 乔纳森·德·哈勒克斯 1 尼古拉·蒂尔曼 1 安德烈·沃伦科夫 2篇连载文章中引用 1 欧洲理论计算机科学协会公报 1 计算机科学课堂讲稿 在3个字段中引用 5 计算机科学（68至XX） 1 一般性和全局性主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文