결과 R ÷ S
R에서 S의 속성인 과목을 뺀 결과, 이 예에서는 학번만 남습니다.
001
003
"모든 필수 과목을 들은 학생"처럼 빠진 조건이 하나도 없는 대상을 찾을 때 사용하는 관계 대수 연산입니다.
결과는 R에서 S의 속성인 과목을 제외한 속성이고, 이 예의 남는 속성은 학번입니다.
후보 학생마다 수강 과목 집합을 S와 비교합니다.
R에서 S의 속성인 과목을 뺀 결과, 이 예에서는 학번만 남습니다.
S의 모든 B를 가진 A만 남기고, 이름은 학생과 다시 조인합니다.
"수강하지 않은 필수과목이 없는 학생"을 찾는 흐름이라
NOT EXISTS를 두 번 겹쳐 표현합니다.