Cosette: An Automated Prover for SQL

Shumo Chu, Chenglong Wang, Konstantin Weitz, Alvin Cheung. Cosette: An Automated Prover for SQL. In CIDR 2017, 8th Biennial Conference on Innovative Data Systems Research, Chaminade, CA, USA, January 8-11, 2017, Online Proceedings. www.cidrdb.org, 2017. [doi]

Abstract

Abstract is missing.