RT @xtdb_com
"A Formal Semantics of SQL Queries, Its Validation, and Applications"

http://www.vldb.org/pvldb/vol11/p27-guagliardo.pdf

More delicious formal semantics and relational algebra equivalence. This time with a fun query generator for experimental validation against real-world SQL engines (pg and Oracle).