Find the names of all instructors in Comp. Sci. department with salary > 80000.
select name from instructor where dept_name = 'Comp. sci.' and salary > 80000