Context: CREATE TABLE instructor (dept_name VARCHAR, salary INTEGER)
Question: Find the name of the department which has the highest average salary of professors.
Answer: SELECT dept_name FROM instructor GROUP BY dept_name ORDER BY AVG(salary) DESC LIMIT 1