Shumo Chu
, Brendan Murphy, Jared Roesch,
Alvin Cheung
,
Dan Suciu
,
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
Published in PVLDB, vol. 11 , no. 11 , pp. 1482--1495 , 2018