Function

X가 정해지는 순간 Y는 하나로 좁혀진다

수학 함수처럼 하나의 입력 X는 하나의 출력 Y만 가져야 한다. 같은 X에서 여러 Y가 나오면 함수 종속이 아니다.

정상 매핑
1:N 매핑
업무 규칙

FD 성립

X → Y
C10DB
C20운영체제

과목코드 하나가 과목명 하나를 결정한다.

FD 불성립

위반
C10DB
C10데이터베이스

같은 결정자에서 서로 다른 값이 나오면 정규화 전에 규칙부터 확인한다.