A Coq Formalization of the Relational Data Model

DOI10.1007/978-3-642-54833-8_11zbMath1405.68103OpenAlexW79051208MaRDI QIDQ5410700

Evelyne Contejean, Véronique Benzaken, Stefania Dumbrava

Publication date: 16 April 2014

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54833-8_11

Mathematics Subject Classification ID

Database theory (68P15)

Related Items

Unnamed Item ⋮ Certified Graph View Maintenance with Regular Datalog ⋮ A formalization of SQL with nulls

Uses Software

• Coq
• Why3