Fetching the paper…
Reading the bibliography…
Deciding the equivalence of SQL queries is a fundamental problem in data management.
Impossibility of an algorithm for the decision problem in finite classes
B. Trakhtenbrot · 1950
Earlier work this paper cites.
A relational model of data for large shared data banks
E. F. Codd · 1970
Earlier work this paper cites.
Optimal implementation of conjunctive queries in relational data bases
A. K. Chandra and P. M. Merlin · 1977
Earlier work this paper cites.
Fast decision procedures based on congruence closure
G. Nelson and D. C. Oppen · 1980
Earlier work this paper cites.
Equivalences among relational expressions with the union and difference operators
Y. Sagiv and M. Yannakakis · 1980
Earlier work this paper cites.
A history and evaluation of system R
D. D. Chamberlin, M. M. Astrahan, M. W. Blasgen, J. Gray, W. F. K. III, B. G. Lindsay, R. A. Lorie, J. W. Mehl, T. G. Price, G. R. Putzolu, P. G. Selinger, M. Schkolnick, D. R. Slutz, I. L. Traiger, B. W. Wade, and R. A. Yost · 1981
Earlier work this paper cites.
Optimization of nested SQL queries revisited
R. A. Ganski and H. K. T. Wong · 1987
Earlier work this paper cites.
A Guide to the SQL Standard, Second Edition
C. J. Date · 1989
Earlier work this paper cites.
Extensible/rule based query rewrite optimization in starburst
H. Pirahesh, J. M. Hellerstein, and W. Hasan · 1992
Earlier work this paper cites.
Optimization of Real conjunctive queries
S. Chaudhuri and M. Y. Vardi · 1993
Earlier work this paper cites.
Foundations of Databases
S. Abiteboul, R. Hull, and V. Vianu · 1995
Earlier work this paper cites.
The cascades framework for query optimization
G. Graefe · 1995
Earlier work this paper cites.
Containment of conjunctive queries: Beyond relations as sets
Y. E. Ioannidis and R. Ramakrishnan · 1995
Earlier work this paper cites.
Cost-based optimization for magic: Algebra and implementation
P. Seshadri et al · 1996
Earlier work this paper cites.
The GMAP: A versatile tool for physical data independence
O. G. Tsatalos, M. H. Solomon, and Y. E. Ioannidis · 1996
Earlier work this paper cites.
The Classical Decision Problem
E. Börger, E. Grädel, and Y. Gurevich · 1997
Cited alongside, same era.
Rewriting aggregate queries using views
S. Cohen, W. Nutt, and A. Serebrenik · 1999
Cited alongside, same era.
Physical data independence, constraints, and optimization with universal plans
A. Deutsch, L. Popa, and V. Tannen · 1999
Cited alongside, same era.
An equational chase for path-conjunctive queries, constraints, and views
L. Popa and V. Tannen · 1999
Cited alongside, same era.
A chase too far?
L. Popa, A. Deutsch, A. Sahuguet, and V. Tannen · 2000
Cited alongside, same era.
Chase & backchase: A method for query optimization with materialized views and integrity constraints
A. Deutsch, L. Popa, and V. Tannen · 2001
Cited alongside, same era.
Spark SQL: relational data processing in spark
M. Armbrust, R. S. Xin, C. Lian, Y. Huai, D. Liu, J. K. Bradley, X. Meng, T. Kaftan, M. J. Franklin, A. Ghodsi, and M. Zaharia · 2015
Later among the works it cites.
The lean theorem prover (system description)
L. M. de Moura, S. Kong, J. Avigad, F. van Doorn, and J. von Raumer · 2015
Later among the works it cites.
Handling environments in a nested relational algebra with combinators and an implementation in a verified query compiler
J. S. Auerbach, M. Hirzel, L. Mandel, A. Shinnar, and J. Siméon · 2017
Later among the works it cites.
Benchmarking the chase
M. Benedikt, G. Konstantinidis, G. Mecca, B. Motik, P. Papotti, D. Santoro, and E. Tsamoura · 2017
Later among the works it cites.
Demonstration of the cosette automated SQL prover
S. Chu, D. Li, C. Wang, A. Cheung, and D. Suciu · 2017
Later among the works it cites.
Cosette: An automated prover for SQL
S. Chu, C. Wang, K. Weitz, and A. Cheung · 2017
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Data exchange: Semantics and query answering
R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa · 2003
Cited alongside, same era.
The containment problem for REAL conjunctive queries with inequalities
T. S. Jayram, P. G. Kolaitis, and E. Vee · 2006
Cited alongside, same era.
Provenance semirings
T. J. Green, G. Karvounarakis, and V. Tannen · 2007
Cited alongside, same era.
Graphs, Dioids and Semirings: New Models and Algorithms (Operations Research/Computer Science Interfaces Series)
M. Gondran and M. Minoux · 2008
Cited alongside, same era.
Symbolic query exploration
M. Veanes, P. Grigorenko, P. de Halleux, and N. Tillmann · 2009
Cited alongside, same era.
Dremel: Interactive analysis of web-scale datasets
S. Melnik, A. Gubarev, J. J. Long, G. Romer, S. Shivakumar, M. Tolton, and T. Vassilakis · 2010
Cited alongside, same era.
Later among the works it cites.
HoTTSQL: proving query rewrites with univalent SQL semantics
S. Chu, K. Weitz, A. Cheung, and D. Suciu · 2017
Later among the works it cites.
A metaprogramming framework for formal verification
G. Ebner, S. Ullrich, J. Roesch, J. Avigad, and L. de Moura · 2017
Later among the works it cites.
Verifying equivalence of spark programs
S. Grossman, S. Cohen, S. Itzhaky, N. Rinetzky, and M. Sagiv · 2017
Later among the works it cites.
A formal semantics of SQL queries, its validation, and applications
P. Guagliardo and L. Libkin · 2017
Later among the works it cites.
Optimizing big-data queries using program synthesis
M. Schlaipfer, K. Rajan, A. Lal, and M. Samak · 2017
Later among the works it cites.
The Myria big data management and analytics system and cloud services
J. Wang, T. Baker, M. Balazinska, D. Halperin, B. Haynes, B. Howe, D. Hutchison, S. Jain, R. Maas, P. Mehta, D. Moritz, B. Myers, J. Ortiz, D. Suciu, A. Whitaker, and S. Xu · 2017
Later among the works it cites.
Axiomatic foundations and algorithms for deciding semantic equivalences of SQL queries
S. Chu, A. Cheung, and D. Suciu · 2018
Closest in time.
Verifying equivalence of database-driven applications
Y. Wang, I. Dillig, S. K. Lahiri, and W. R. Cook · 2018
Closest in time.