SQUARES
SQUARES
A SQL Synthesizer Using Query Reverse Engineering
Welcome to SQUARES’ homepage.
SQUARES is a novel enumeration-based SQL and R synthesizer. SQUARES tries to solve the problem of Query Reverse Engineering, i.e., given some input and output tables SQUARES returns the query, both in R and SQL, that performs that transformation (input -> output).
Try SQUARES using:
Download SQUARES
Tutorial
Recent Publications
SQUARES : A SQL Synthesizer Using Query Reverse Engineering
In this paper, we present SQUARES, an open-source tool that generates SQL and R queries from specifications. The specifications are …
Encodings for Enumeration-Based Program Synthesis
In this paper, a new compact line-based encoding is proposed that allows a faster enumeration of the program space.
SQUARES : A SQL Synthesizer Using Query Reverse Engineering
MSc Thesis. We propose a novel Enumeration-Based SQL synthesizer SQUARES, that uses a new line representation where we represent each …
Acknowledgments
Funding and Support