정규화는 항상 무손실 분해 — 공통 속성이 한쪽의 키
무손실 vs 손실 분해
✅ 무손실 분해
R₁(학번, 학과) · R₂(학과, 학과사무실) — 공통 속성 학과 = R₂의 PK. 자연조인하면 원본 3행 그대로 복원.
❌ 손실 분해
공통 속성이 어느 쪽에서도 키가 아니면 자연조인 시 원본에 없던 가짜 튜플(Spurious Tuple)이 섞여 나옴.
합격 한 줄
정규화는 항상 무손실 분해. 무손실 조건 = 공통 속성이 한쪽의 키(Heath의 정리). 가짜 튜플이 생기면 그게 곧 손실 분해의 결정적 증거.