Table schema:
CREATE TABLE instructor (dept_name VARCHAR, salary INTEGER)

Question: Find the name of the department which has the highest average salary of professors.
SQL: SELECT dept_name FROM instructor GROUP BY dept_name ORDER BY AVG(salary) DESC LIMIT 1