A Coq Formalisation of SQL's Execution Engines.

Vronique Benzaken, Evelyne Contejean, Chantal Keller, Eunice Martins

Browse the full ITP paper archive.