Demonstration of the Cosette Automated SQL Prover.

Shumo Chu, Daniel Li, Chenglong Wang, Alvin Cheung, Dan Suciu

Browse the full SIGMOD paper archive.