Formal SQL Tuning for Oracle Databases - Leonid Nossov, Hanno Ernst, Victor Chupis (Springer, 2016)