A Coq formalisation of SQL's execution engines
From MaRDI portal
Publication:1791148
DOI10.1007/978-3-319-94821-8_6OpenAlexW2810289772MaRDI QIDQ1791148
Publication date: 4 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_6
Database theory (68P15) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
Uses Software
This page was built for publication: A Coq formalisation of SQL's execution engines
