순차 다이어그램

[자료 흐름도 (DFD), 자료 사전]

분산 데이터베이스

순수 관계 연산자

Division 연산법 (A ÷ B)

만약 A가 (학생, 과목)이고, B가 과목이면

일단 결과의 속성은 무조건 (학생, 과목)에서 과목을 빼서 학생이 됨

학생 중 B의 모든 과목을 수강한 학생만 남음

트랜잭션 회복

그검연즉 → 그림자 검술로 연속 즉사