4. 제3 정규형 – 이행적 함수 종속 제거

4-1. orders_2nf에서 발견되는 이행적 종속

orders_2nf를 다시 보자.

order_id | member_id | member_name | ordered_at
-----------------------------------------------
1001     | 1         | 션          | 2025-08-20 10:00:00
1002     | 2         | 네이트       | 2025-08-21 11:00:00
1003     | 1         | 션          | 2025-08-21 12:00:00

기본 키는 order_id이다. 함수 종속 관계를 다시 정리하면 다음과 같다.

• order_id → member_id
• order_id → ordered_at
• 그리고 또 하나의 관계가 있다.
  • member_id → member_name

즉,

order_id → member_id → member_name

이라는 연쇄적인 종속 관계가 존재한다.

이처럼 기본 키가 아닌 컬럼이 다른 컬럼을 결정하는 관계를 이행적 함수 종속(Transitive Functional Dependency) 이라고 부른다.

• 기본 키(PK) → 일반 컬럼1 → 일반 컬럼2

여기서 문제가 되는 것은 일반 컬럼이 일반 컬럼을 결정하는 관계이다.

4-2. "이행적"이라는 말의 의미

"이행적(Transitive)"이라는 단어는 어떤 것을 거쳐서 전달된다는 의미를 가진다.

• A → B, B → C가 성립하면 결과적으로 A → C도 성립한다.
• 이때 A → C 관계는 B를 거쳐서 도달하므로 이행적(transitive) 이라고 부른다.

우리 예시에서는 다음과 같다.