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

Question: Find the names and average salaries of all departments whose average salary is greater than 42000.
SQL: SELECT dept_name, AVG(salary) FROM instructor GROUP BY dept_name HAVING AVG(salary) > 42000