Demonstration of the Cosette Automated SQL Prover.
Shumo ChuDaniel LiChenglong WangAlvin CheungDan SuciuPublished in: SIGMOD Conference (2017)
Keyphrases
- relational databases
- theorem proving
- fully automated
- databases
- semi automated
- database applications
- query language
- database
- sql queries
- database design
- database processing
- database management
- relational model
- cd rom
- database language
- database management systems
- relational database management systems
- automated theorem proving
- object relational
- database access
- database development
- automated analysis
- database systems
- semi automatic
- object oriented