Cosette: An Automated Prover for SQL

112 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

DS-1000: A Natural and Reliable Benchmark for Data Science Code Generation (2022, background): “Future works can consider using models to help humans write useful tests (Tufano et al., 2020), or formally verify the correctness of a predicted solution (Chu et al., 2017).”
Natural language to SQL: Where are we today? (2020, methodology): “Despite a lot of research on semantic equivalence, the state-of-the-art tools such as Cosette [11, 10] support a limited form of SQL queries.”
Cypher: An Evolving Query Language for Property Graphs (2018, background): “While common in the programming language community, formal specifications of query languages have recently appeared in the database literature [12, 13, 20, 57].”
Semantic Evaluation for Text-to-SQL with Distilled Test Suite (2020, background): “They lift SQL queries into other semantic representations such as K-relations (Green et al., 2007), UniNomial (Chu et al., 2017) and U-semiring (Chu et al., 2018); then they search for an (in)equivalence proof.”