Synthesizing highly expressive SQL queries from input-output examples
Abstract
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.
Related papers
- Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search PLDI 2025
- Synthesizing analytical SQL queries from computation demonstration PLDI 2022
- UDF to SQL translation through compositional lazy inductive synthesis OOPSLA 2021
- Interactive parser synthesis by example PLDI 2015
- Example-guided synthesis of relational queries PLDI 2021
- Synthesizing data structure transformations from input-output examples PLDI 2015
- Synthesizing Number Transformations from Input-Output Examples CAV 2012
- Automating string processing in spreadsheets using input-output examples POPL 2011