Formal semantics of SQL queries - Karge, Ulrich; Gogolla, Martin (Informatik-Berichte, 1990)