공유 원리
먼저 X 값을 정한다
함수 종속은 어떤 속성의 값이 다른 속성의 값을 결정하는지를 본다.
핵심 결과
Y 값은 하나로 고정된다
결정자 X가 같으면 종속자 Y도 같은 값이어야 한다.

수학의 함수와 DB 함수 종속은 같은 방향으로 읽는다

수학
y = f(x) → x가 정해지면 y도 하나로 결정
입력값 하나에 대해 결과값이 하나만 대응한다.
DB
학번 → 이름 → 1001 → 김철수
학번이 같다면 이름도 하나로 정해져야 한다.

하지만 화살표를 뒤집으면 다시 확인해야 한다

성립
학번 → 이름
학번 1001이 정해지면 이름은 김철수로 하나다.
불성립
이름 → 학번
김철수라는 이름은 여러 사람에게 붙을 수 있으므로 학번이 하나로 결정되지 않는다.
정리: 함수 종속은 X → Y 방향의 결정 관계를 말한다. Y → X까지 자동으로 보장하는 1:1 관계라는 뜻은 아니다.