A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra.

Vronique Benzaken, Evelyne Contejean

Browse the full CPP paper archive.