A Coq Formalization of the Relational Data Model
No abstract available.
Related papers
- Toward a verified relational database management system POPL 2010
- A Coq formalization of data provenance CPP 2021
- A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra CPP 2019
- Certified Semantics for Relational Programming APLAS 2020
- A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST POPL 2018
- Mechanized logical relations for termination-insensitive noninterference POPL 2021
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- Closure conversion is safe for space ICFP 2019