<question>: Find the names of all instructors in Comp. Sci. department with salary > 80000. <context>: CREATE TABLE instructor (name VARCHAR, dept_name VARCHAR, salary VARCHAR)
SELECT name FROM instructor WHERE dept_name = 'Comp. Sci.' AND salary > 80000