A Coq Formalisation of SQL's Execution Engines.
Véronique BenzakenEvelyne ContejeanChantal KellerEunice MartinsPublished in: ITP (2018)
Keyphrases
- relational databases
- sql queries
- database language
- database
- query language
- formal analysis
- databases
- formal methods
- user defined functions
- database design
- relational database systems
- sql database
- database processing
- relational model
- database management
- database applications
- sql server
- database systems
- management system
- execution plan
- query optimizer
- relational database management systems
- back end
- database server
- database technology
- theorem prover
- object relational
- stored procedures
- execution model
- object oriented
- relational algebra
- data structure
- cd rom