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