Synthesizing Queries via Interactive Sketching
Synthesizing Queries via Interactive Sketching
复制标题
通过交互式草图综合查询
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Armando Solar
中科院分区：
文献类型：
--
作者：
O. Bastani;Xin Zhang;Armando Solar
我们提出一种新的程序合成方法，重点是合成数据库查询。从高层次来看，我们提出的算法将一个带有编码用户意图的软约束的框架作为输入，然后迭代地与用户交互以细化该框架。在每一步，我们的算法都会提出一个框架的候选细化方案，用户可以接受或拒绝它。通过利用这种丰富形式的用户反馈，我们的算法既能够解决用户意图的模糊性，又能提高可扩展性。特别是，假设用户提供准确的输入和响应，那么我们的算法保证能在多项式时间内收敛到真实的程序（即用户认可的程序）。我们对我们的算法进行了定性评估，展示了它如何可用于在学术出版物数据库上合成各种查询。
We propose a novel approach to program synthesis, focusing on synthesizing database queries. At a high level, our proposed algorithm takes as input a sketch with soft constraints encoding user intent, and then iteratively interacts with the user to refine the sketch. At each step, our algorithm proposes a candidate refinement of the sketch, which the user can either accept or reject. By leveraging this rich form of user feedback, our algorithm is able to both resolve ambiguity in user intent and improve scalability. In particular, assuming the user provides accurate inputs and responses, then our algorithm is guaranteed to converge to the true program (i.e., one that the user approves) in polynomial time. We perform a qualitative evaluation of our algorithm, showing how it can be used to synthesize a variety of queries on a database of academic publications.
DOI：
--
发表时间：
2018-09
期刊：
--
影响因子：
--
作者：
X. Si;Yuan Yang;H. Dai;M. Naik;Le Song
通讯作者：
X. Si;Yuan Yang;H. Dai;M. Naik;Le Song
影响因子：
--
作者：
Yu Feng;R. Martins;O. Bastani;Işıl Dillig
通讯作者：
Yu Feng;R. Martins;O. Bastani;Işıl Dillig