판정 규칙
X → Y
X 값이 같으면 Y 값도 반드시 하나로 정해집니다.
핵심 의미
결정자 X가 같을 때마다 결과 속성 Y가 항상 같아야 함수 종속입니다. 한 X에서 여러 Y가 나오면 함수 종속이 아닙니다.
✓
학번 → 이름 성립
같은 학번이면 학생 이름도 하나로 고정됩니다.
✕
학번 → 수강과목 불성립
한 학생이 여러 과목을 들을 수 있으므로 하나의 학번으로 과목이 정해지지 않습니다.
종속 유형은 “무엇이 Y를 결정하는가”를 보면 갈립니다.
복합키 전체가 필요한지, 일부만으로 충분한지, 비키 속성을 한 번 거치는지를 구분하면 됩니다.
완전 함수 종속 Full FD
학번 + 과목명
→ 성적
둘 다 있어야 성적이 정해집니다.
학번만으로도, 과목명만으로도 성적을 결정할 수 없습니다.
부분 함수 종속 Partial FD
학번 + 과목명
→ 이름
기본키 일부만으로 이름이 결정됩니다.
`{학번, 과목명} → 이름`처럼 보여도 실제로는 학번 → 이름이므로 부분 종속입니다.
이행 함수 종속 Transitive FD
학번 → 학과 → 학과장
비키 속성을 한 번 거쳐 간접으로 결정됩니다.
학번이 직접 학과장을 정하는 것이 아니라 학과를 통해 연결됩니다.
정규화에서는 이런 종속 관계를 분리해 중복과 갱신 이상을 줄입니다.