What are the names of the instructors in the Comp. Sci. department who earn more than 80000?
select name from instructor where dept_name = 'Comp. sci.' and salary > 80000