The pattern for r ÷ s in SQL: keep a tuple t of r when nothing in s is missing for t.
severy tuple of
EXCEPT
rwhat t has in
=
NOT EXISTSmust be empty
π id, semester, year (teaches) ÷ π semester, year (teaches): the instructors who teach in every term that appears inteaches.π id, course_id (takes) ÷ ρ need(course_id) (π prereq_id (σ course_id = 'CS-340' (prereq))): the students who took every prerequisite of CS-340.- What is the name of that student?
- No course has
dept_name'Art'. How many tuples doesπ id, course_id (takes) ÷ π course_id (σ dept_name = 'Art' (course))return?