Formal SQL Tuning for Oracle Databases: Practical Efficiency - Efficient Practi