EasyChair Preprint № 472 A Coq mechanised formal semantics for realistic SQL queries : Formally reconciling SQL and (extended) relational algebra. V´ eronique Benzaken and ´ Evelyne Contejean EasyChair preprints are intended for rapid dissemination of research results and are integrated with the rest of EasyChair. August 30, 2018