SQUARES

SQL and R Synthesizer

Try it out

Using a small example

Try SQUARES

Using a larger example

SQUARES

A SQL Synthesizer Using Query Reverse Engineering

Synthesize SQL and R Queries with SQUARES

Latest release 1.0

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 …

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho

PDF DOI

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.

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho

PDF DOI Springer

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 …

Pedro Orvalho

PDF MSc Thesis

Acknowledgments

Funding and Support