What are the names and average salaries for departments with average salary higher than 42000?
select dept_name, avg (salary) from instructor group by dept_name having avg (salary) > 42000