Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries

Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu. Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. PVLDB, 11(11):1482-1495, 2018. [doi]

Authors

Shumo Chu

This author has not been identified. Look up 'Shumo Chu' in Google

Brendan Murphy

This author has not been identified. Look up 'Brendan Murphy' in Google

Jared Roesch

This author has not been identified. Look up 'Jared Roesch' in Google

Alvin Cheung

This author has not been identified. Look up 'Alvin Cheung' in Google

Dan Suciu

This author has not been identified. Look up 'Dan Suciu' in Google