Cosette: An Automated Prover for SQL.
Shumo ChuChenglong WangKonstantin WeitzAlvin CheungPublished in: CIDR (2017)
Keyphrases
- relational databases
- sql queries
- semi automated
- database
- databases
- database management
- theorem proving
- theorem prover
- database language
- computer aided
- relational database systems
- relational model
- cd rom
- database queries
- semi automatic
- database applications
- query language
- back end
- fully automated
- database technology
- sql server
- database design
- object relational
- automated theorem proving
- structured query language
- ibm db
- sql database