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.
- S. Barman, S. Chasins, R. Bodik, and S. Gulwani. Ringer: web automation by demonstration. In SPLASH, pages 748--764. ACM, 2016. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- S. Chu, C. Wang, K. Weitz, and A. Cheung. Cosette: An automated prover for sql. 2017.Google Scholar
- S. Gulwani and M. Marron. Nlyze: Interactive programming by natural language for spreadsheet data analysis and manipulation. In SIGMOD, pages 803--814. ACM, 2014. Google ScholarDigital Library
- F. Li and H. V. Jagadish. Nalir: an interactive natural language interface for querying relational databases. In SIGMOD, pages 709--712. ACM, 2014. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Q. T. Tran, C.-Y. Chan, and S. Parthasarathy. Query by output. In SIGMOD '09, USA. ACM. Google ScholarDigital Library
- S. Zhang and Y. Sun. Automatically synthesizing sql queries from input-output examples. In ASE. IEEE, 2013.Google ScholarDigital Library
Index Terms
- Interactive Query Synthesis from Input-Output Examples
Recommendations
Synthesizing highly expressive SQL queries from input-output examples
PLDI 2017: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and ImplementationSQL 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 '17SQL 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 ...
Pulling Conjunctive Query Equivalence out of the Bag
CIKM '14: Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge ManagementWe present LECQTER, a tool for generating a 'perfect example' database, called exemplar, for a given conjunctive query. Indeed, exemplars separate the given query from any non-equivalent query. Therefore, LECQTER reduces the query equivalence problem to ...
Comments