Find the name of the department which has the highest average salary of professors.
CREATE TABLE instructor (dept_name VARCHAR, salary INTEGER)
[SQL] SELECT dept_name FROM instructor GROUP BY dept_name ORDER BY AVG(salary) DESC LIMIT 1 [/SQL]