Formal SQL Tuning for Oracle Databases