Translating canonical SQL to imperative code in Coq.
Véronique BenzakenEvelyne ContejeanMohammed Houssem HachmaouiChantal KellerLouis MandelAvraham ShinnarJérôme SiméonPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- relational databases
- sql queries
- query language
- source code
- databases
- error handling
- industry standard
- database language
- database management
- database applications
- theorem prover
- database
- database design
- database processing
- formal methods
- relational database systems
- cd rom
- database queries
- relational model
- relational database management systems
- relational algebra
- database technology
- structured query language
- data types
- visual basic
- database programming
- database administration
- data access
- relational tables
- sql server