CUBES：一种用于SQL的并行合成器（通过实例进行说明）

《Formal Aspects of Computing》：CUBES: A Parallel Synthesizer for SQL Using Examples

本文提出基于输入输出的并行SQL查询自动生成系统Cubes，通过多核架构提升合成效率，并采用模糊测试与用户交互解决歧义问题，准确率达60%，优于现有方法。

　　

摘要

近年来，越来越多的人发现他们的工作依赖于数据操作任务。然而，这些用户中的许多人缺乏编写SQL查询（尤其是复杂查询）所需的编程背景。帮助这些用户的一种方法是根据少量示例自动生成SQL查询。最近提出了几种用于SQL的程序合成器，但它们并未利用多核架构来提高合成性能。

本文提出了Cubes，这是一种针对SQL查询领域的并行程序合成器，它使用输入-输出示例作为输入。由于输入-输出示例是对所需SQL查询的不完整描述，有时生成的查询可能不符合用户的意图。Cubes采用了一种基于模糊技术的新的消歧方法，该方法与用户进行交互，从而提高了返回查询与用户意图匹配的可靠性。

我们对来自不同领域的约4000个SQL查询进行了广泛评估。实验结果表明，我们的顺序版本能够解决比其他最先进的SQL合成器更多的问题。此外，并行方法可以扩展到16个处理器，并在许多复杂情况下实现超线性加速。我们的消歧方法对于达到约60%的准确率至关重要，这一准确率明显高于其他SQL合成器。