44. 디비전(Division) - 속성 값을 모두 가진 튜플 추출

💡 핵심 인사이트
디비전(Division, $\div$) 연산은 "모든 조건을 다 만족하는가?"라는 'ALL' 또는 'EVERY'의 뉘앙스를 가진 질의를 처리할 때 사용하는 관계 대수 연산입니다.
A 릴레이션을 B 릴레이션으로 나눌 때, B가 가진 모든 속성값을 하나도 빠짐없이 전부 가지고 있는 A의 튜플만 추출합니다.

Ⅰ. 디비전(Division) 연산의 개념

디비전은 수식으로 $R \div S$ (R 나누기 S)로 표현합니다. 주로 "특정 과목을 모두 수강한 학생은 누구인가?", "지정된 부품을 전부 공급하는 업체는 어디인가?" 같은 질의에 사용됩니다.

표기법: $R \div S$
전제 조건: 릴레이션 $S$의 모든 속성은 릴레이션 $R$의 속성에 포함되어야 합니다. (나누는 수가 나뉘는 수 안에 들어있어야 함)

Ⅱ. 디비전 연산의 동작 원리 예시

예를 들어, 학생들의 수강 내역(R)이 있고, 컴퓨터공학과 필수과목 목록(S)이 있다고 가정해 봅시다.

[ 릴레이션 R (수강 내역) ]           [ 릴레이션 S (필수 과목) ]
학생명 | 과목명                      과목명
-------|--------                     --------
김철수 | 데이터베이스                데이터베이스
김철수 | 운영체제                    운영체제
김철수 | 자료구조
이영희 | 데이터베이스
이영희 | 컴퓨터구조
박민수 | 데이터베이스
박민수 | 운영체제

▶ 연산: R ÷ S
(의미: S에 있는 '데이터베이스'와 '운영체제'를 둘 다 모두 수강한 학생명은?)

릴레이션 S에 있는 값은 데이터베이스, 운영체제 두 개입니다.
릴레이션 R에서 이 두 과목을 모두 가진 학생을 찾습니다.
- 김철수: 데이터베이스, 운영체제 모두 있음 (합격)
- 이영희: 데이터베이스만 있음 (탈락)
- 박민수: 데이터베이스, 운영체제 모두 있음 (합격)
결과 릴레이션의 속성은 R의 속성에서 S의 속성을 제외한 나머지 속성(학생명)만 남습니다.

[ 결과 릴레이션 ]
학생명
-------
김철수
박민수

Ⅲ. 실무적 의의와 SQL 구현

디비전 연산은 관계 대수에서는 기본 연산 5개(합, 차, 교, 프로젝트, 셀렉트)를 조합하여 만들어낼 수 있는 복합 연산입니다. 흥미로운 점은 표준 SQL에는 디비전(DIVIDE BY 같은 명령어)을 직접 지원하는 키워드가 없다는 것입니다.

그래서 실무 DB(Oracle, MySQL 등)에서 디비전을 구현하려면 NOT EXISTS 구문을 이중으로 중첩하여 사용하거나(이중 부정: "필수 과목 중 수강하지 않은 과목이 없는 학생"), GROUP BY와 COUNT를 사용해 "수강한 필수 과목의 수가 전체 필수 과목의 수와 같은 학생"을 찾는 방식으로 우회하여 구현합니다.

📢 섹션 요약 비유: 디비전 연산은 **"여기 적힌 쇼핑 리스트(S)의 물건을 장바구니(R)에 하나도 빠짐없이 전부 다 담은 사람만 결제 카운터로 나오세요!"**라고 안내하는 것과 같습니다.