Translating Canonical SQL to Imperative Code in Coq.
Véronique BenzakenEvelyne ContejeanMohammed Houssem HachmaouiChantal KellerLouis MandelAvraham ShinnarJérôme SiméonPublished in: CoRR (2022)
Keyphrases
- relational databases
- industry standard
- error handling
- source code
- database language
- databases
- database
- query language
- code examples
- formal methods
- sql queries
- database design
- relational model
- data types
- cd rom
- theorem prover
- relational database systems
- database queries
- database management
- back end
- database development
- sql statements
- relational algebra
- visual basic
- relational database management systems
- artificial intelligence
- database applications