HoTTSQL: proving query rewrites with univalent SQL semantics.

Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu

Browse the full PLDI paper archive.