Cosette: An Automated Prover for SQL.

Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung

Browse the full CIDR paper archive.