Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries

24 May 2018 Chu Shumo Murphy Brendan Roesch Jared Cheung Alvin Suciu Dan

Deciding the equivalence of SQL queries is a fundamental problem in data management. As prior work has mainly focused on studying the theoretical limitations of the problem, very few implementations for checking such equivalences exist... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • DATABASES
  • PROGRAMMING LANGUAGES