X가 정해지면 Y는 단일값으로 유일하게 결정

함수 종속 FD — X → Y

X → YFUNCTIONAL DEP.

Definition

X 값이 정해지면 Y 값이 단일값으로 유일하게 결정될 때 'Y는 X에 함수 종속'. X = 결정자(Determinant) · Y = 종속자(Dependent). 예: 학번 → 이름 ✅ / 학과 → 학번 ❌(다중값).

① 완전 FD

Full — 복합 키 모든 속성이 있어야 결정. 2NF 정상

② 부분 FD

Partial — 복합 키 일부만으로 결정. 2NF 위반

③ 이행 FD

Transitive — A→B→C 간접 결정. 3NF 위반