Brain💡 핵심 인사이트
조인 종속성(JD)은 4NF(다치 종속성 제거)까지 완벽하게 통과한 테이블에서마저 발견되는 극한의 수학적 딜레마입니다.
뚱뚱한 릴레이션을 두 개로 쪼개면 가짜 데이터(손실 분해)가 발생해서 못 쪼개는데, 기가 막히게도 '세 개 이상의 릴레이션으로 쪼갰다가 다시 조인(Join)하면' 원본 테이블과 100% 똑같이 무손실 복원이 되는 기이한 종속성 상태를 말합니다.
Ⅰ. 무손실 분해의 한계 (2개로 쪼개기의 실패)
보통 정규화 수술을 할 때는 거대한 테이블 1개를 $\rightarrow$ 깔끔한 테이블 2개로 쪼갭니다(투영, Projection). 그리고 이 2개를 공통 키로 조인(Join)하면 원본이 그대로 나오는 것(무손실)이 정상입니다.
그런데 아주 특수한 순환(Cycle) 구조를 가진 3개의 속성 (과목, 강사, 교재) 테이블이 있다고 칩시다.
- 제약 조건의 순환: 과목은 강사가 가르치고, 강사는 교재를 쓰고, 교재는 과목에 속하는 꼬리물기 룰이 존재합니다.
- 2개 분해 시도: 이 테이블을
(과목, 강사)와(강사, 교재)2개로 쪼갰습니다. - 재앙 발생: 나중에 이 두 개를
강사를 기준으로 조인(합체)해 보았더니, 원본에는 없던 "홍길동이 A교재로 C과목을 가르친다"는 가짜 유령 데이터(Spurious Tuple) 수십 개가 뻥튀기되어 튀어나왔습니다! (손실 분해 💥).
Ⅱ. 조인 종속성(JD)의 마법 (3개 이상으로 쪼개기)
학자들은 멘붕에 빠졌습니다. "어? 2개로 쪼개면 데이터가 깨지네? 그럼 이 테이블은 더 이상 분해가 불가능한 궁극의 4NF 테이블인가?"
하지만 천재들이 발견해 냅니다. "잠깐, 2개로 쪼개서 조인하지 말고, 아예 테이블을 3개의 쌍으로 찢어보자!"
R1 (과목, 강사)R2 (강사, 교재)R3 (과목, 교재)➔ 이 연결 고리까지 억지로 하나 더 뽑아냄.
이 3개의 조각(투영) 테이블을 한꺼번에 모아서 거대한 자연 조인(Natural Join) 연산을 돌려보았습니다. 결과: 놀랍게도 2개로 쪼갤 땐 나타났던 그 가짜 유령 데이터들이, 3번째 조각(R3)의 필터링에 걸러지면서 모조리 싹 증발해 버리고, **분해 전의 오리지널 원본 테이블과 100% 토씨 하나 안 틀리고 똑같이 완벽 복원(무손실 분해)**되는 기적이 일어났습니다!
이처럼 **"하나의 릴레이션을 N개(3개 이상)의 조각으로 투영(분해)했다가 모두 다시 조인했을 때, 원래 릴레이션이 그대로 튀어나오는 성질"**을 바로 **조인 종속성(Join Dependency)**이라고 부릅니다. 기호로는 $JD(R_1, R_2, ..., R_n)$ 로 씁니다.
Ⅲ. 실무적 의의 (학문적 극한)
조인 종속성은 데이터베이스 이론(에드가 코드와 패긴)의 극한(End-game)을 보여주는 수학적 증명입니다.
사실 모든 함수적 종속성(FD)이나 다치 종속성(MVD)은 궁극적으로 이 거대한 조인 종속성(JD)의 특수한 케이스(부분집합)에 불과합니다. 즉, 데이터베이스 정규화의 본질은 "어떻게 하면 조인했을 때 가짜 데이터가 나오지 않게 무손실로 잘 찢을 것인가(JD의 해결)"로 귀결됩니다. 이 조인 종속성에 의해 발생하는 미세한 이상 현상마저 완전히 박살 내버리는 최종 수술 단계가 바로 **제5정규형(5NF)**입니다.
📢 섹션 요약 비유: 조인 종속성은 마술사의 **'상자 분리 마술'**입니다. 미녀가 든 상자를 칼로 2도막(2개 분해) 내서 합치면 미녀가 다쳐서(손실 분해) 마술이 실패합니다. 하지만 기가 막히게 머리, 몸통, 다리의 정확한 관절 부위를 노려 **3도막(3개 분해, JD)**을 낸 뒤에 하나로 합치면, 상자를 열었을 때 미녀가 생채기 하나 없이 원래 모습 그대로 살아서 걸어 나오는(무손실 완벽 복원) 수학적 환상 마술입니다.