short-paper

Public Access

Interactive Query Synthesis from Input-Output Examples

Authors:

Chenglong Wang,

Alvin Cheung,

Rastislav BodikAuthors Info & Claims

SIGMOD '17: Proceedings of the 2017 ACM International Conference on Management of Data

Pages 1631 - 1634

https://doi.org/10.1145/3035918.3058738

Published: 09 May 2017 Publication History

PDF eReader

Abstract

This demo showcases Scythe, a novel query-by-example system that can synthesize expressive SQL queries from input-output examples. Scythe is designed to help end-users program SQL and explore data simply using input-output examples. From a web-browser, users can obtain SQL queries with Scythe in an automated, interactive fashion: from a provided example, Scythe synthesizes SQL queries and resolves ambiguities via conversations with the users.

In this demo, we first show Scythe how end users can formulate queries using Scythe; we then switch to the perspective of an algorithm designer to show how Scythe can scale up to handle complex SQL features, like outer joins and subqueries.

References

[1]

S. Barman, S. Chasins, R. Bodik, and S. Gulwani. Ringer: web automation by demonstration. In SPLASH, pages 748--764. ACM, 2016.

Digital Library

Google Scholar

[2]

S. Chasins, S. Barman, R. Bodik, and S. Gulwani. Browser record and replay as a building block for end-user web automation tools. In WWW, pages 179--182. ACM, 2015.

Digital Library

Google Scholar

[3]

S. Chu, C. Wang, K. Weitz, and A. Cheung. Cosette: An automated prover for sql. 2017.

Google Scholar

[4]

S. Gulwani and M. Marron. Nlyze: Interactive programming by natural language for spreadsheet data analysis and manipulation. In SIGMOD, pages 803--814. ACM, 2014.

Digital Library

Google Scholar

[5]

F. Li and H. V. Jagadish. Nalir: an interactive natural language interface for querying relational databases. In SIGMOD, pages 709--712. ACM, 2014.

Digital Library

Google Scholar

[6]

H. Li, C.-Y. Chan, and D. Maier. Query from examples: An iterative, data-driven approach to query construction. Proceedings of the VLDB Endowment, 2015.

Digital Library

Google Scholar

[7]

Q. T. Tran, C.-Y. Chan, and S. Parthasarathy. Query by output. In SIGMOD '09, USA. ACM.

Digital Library

Google Scholar

[8]

S. Zhang and Y. Sun. Automatically synthesizing sql queries from input-output examples. In ASE. IEEE, 2013.

Digital Library

Google Scholar

Cited By

View all

Brucato MSiddiqui TWu WNarasayya VChaudhuri S(2024)Wred: Workload Reduction for Scalable Index TuningProceedings of the ACM on Management of Data10.1145/36393052:1(1-26)Online publication date: 26-Mar-2024
https://dl.acm.org/doi/10.1145/3639305
Dou QWang HTang HPan HZhang S(2024)Query Reverse Engineering of Pre-deleted Uncorrelated OperatorsData Mining and Big Data10.1007/978-981-97-0844-4_4(45-58)Online publication date: 22-Feb-2024
https://doi.org/10.1007/978-981-97-0844-4_4
Liu HDou QWang H(2024)AL-SQUARES: SQL Synthesis System with the Addition of ReducerData Mining and Big Data10.1007/978-981-97-0844-4_3(33-44)Online publication date: 22-Feb-2024
https://doi.org/10.1007/978-981-97-0844-4_3
Show More Cited By

Index Terms

Interactive Query Synthesis from Input-Output Examples
1. Information systems
  1. Data management systems
    1. Query languages
      1. Relational database query languages
        Structured Query Language

Recommendations

Synthesizing highly expressive SQL queries from input-output examples
PLDI 2017: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation

SQL is the de facto language for manipulating relational data. Though powerful, many users find it difficult to write SQL queries due to highly expressive constructs.

While using the programming-by-example paradigm to help users write SQL queries is ...
Synthesizing highly expressive SQL queries from input-output examples
PLDI '17

SQL is the de facto language for manipulating relational data. Though powerful, many users find it difficult to write SQL queries due to highly expressive constructs.

While using the programming-by-example paradigm to help users write SQL queries is ...
Automatically synthesizing SQL queries from input-output examples
ASE '13: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering

Many computer end-users, such as research scientists and business analysts, need to frequently query a database, yet lack enough programming knowledge to write a correct SQL query. To alleviate this problem, we present a programming by example technique ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SIGMOD '17: Proceedings of the 2017 ACM International Conference on Management of Data

May 2017

1810 pages

ISBN:9781450341974

DOI:10.1145/3035918

General Chairs:
Rada Chirkova
North Carolina State University, USA
,
Jun Yang
Duke University, USA
,
Program Chair:
Dan Suciu
University of Washington, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 May 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Funding Sources

Conference

SIGMOD/PODS'17

Sponsor:

SIGMOD

SIGMOD/PODS'17: International Conference on Management of Data

May 14 - 19, 2017

Illinois, Chicago, USA

Acceptance Rates

Overall Acceptance Rate 785 of 4,003 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

29
Total Citations
View Citations
885
Total Downloads

Downloads (Last 12 months)130
Downloads (Last 6 weeks)30

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Brucato MSiddiqui TWu WNarasayya VChaudhuri S(2024)Wred: Workload Reduction for Scalable Index TuningProceedings of the ACM on Management of Data10.1145/36393052:1(1-26)Online publication date: 26-Mar-2024
https://dl.acm.org/doi/10.1145/3639305
Dou QWang HTang HPan HZhang S(2024)Query Reverse Engineering of Pre-deleted Uncorrelated OperatorsData Mining and Big Data10.1007/978-981-97-0844-4_4(45-58)Online publication date: 22-Feb-2024
https://doi.org/10.1007/978-981-97-0844-4_4
Liu HDou QWang H(2024)AL-SQUARES: SQL Synthesis System with the Addition of ReducerData Mining and Big Data10.1007/978-981-97-0844-4_3(33-44)Online publication date: 22-Feb-2024
https://doi.org/10.1007/978-981-97-0844-4_3
Miltner AWang ZChaudhuri SDillig I(2024)Relational Synthesis of Recursive Programs via Constraint Annotated Tree AutomataComputer Aided Verification10.1007/978-3-031-65633-0_3(41-63)Online publication date: 24-Jul-2024
https://dl.acm.org/doi/10.1007/978-3-031-65633-0_3
Brancas RTerra-Neves MVentura MManquinho VMartins R(2024)Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and DisambiguationFundamental Approaches to Software Engineering10.1007/978-3-031-57259-3_11(232-254)Online publication date: 6-Apr-2024
https://dl.acm.org/doi/10.1007/978-3-031-57259-3_11
Naik AThakkar AStein AAlur RNaik M(2023)Relational Query Synthesis ⋈ Decision Tree LearningProceedings of the VLDB Endowment10.14778/3626292.362630617:2(250-263)Online publication date: 1-Oct-2023
https://dl.acm.org/doi/10.14778/3626292.3626306
Cheung AAhmad MHaynes BKittivorawong CLaddad SLiu XWang CYan C(2023)Towards Auto-Generated Data SystemsProceedings of the VLDB Endowment10.14778/3611540.361163516:12(4116-4129)Online publication date: 1-Aug-2023
https://dl.acm.org/doi/10.14778/3611540.3611635
Wang HDou QTang HZhang SPan H(2023)A SQL Synthesis System with Operator HandlerProceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence10.1145/3638584.3638654(132-136)Online publication date: 8-Dec-2023
https://dl.acm.org/doi/10.1145/3638584.3638654
Thakkar ASands NPetrou GAlur RNaik MRaghothaman M(2023)Mobius: Synthesizing Relational Queries with Recursive and Invented PredicatesProceedings of the ACM on Programming Languages10.1145/36228477:OOPSLA2(1394-1417)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622847
Ji RKong CXiong YHu Z(2023)Improving Oracle-Guided Inductive Synthesis by Efficient Question SelectionProceedings of the ACM on Programming Languages10.1145/35860557:OOPSLA1(819-847)Online publication date: 6-Apr-2023
https://dl.acm.org/doi/10.1145/3586055
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Synthesizing highly expressive SQL queries from input-output examples

Synthesizing highly expressive SQL queries from input-output examples

Automatically synthesizing SQL queries from input-output examples