함수적 종속성, 부분종속, 완전종속

함수적 종속성은 정규화를 이해하기 위해 필요한 개념입니다.

1. 함수적 종속성

함수적 종속성은 애트리뷰트들 사이의 관계에 대한 제약조건으로 애트리뷰트 A가 B의 결정자이면, 다음의 조건을 따라야 합니다.

A이면 B이고 동시에 A이면 C일 수 없지만, B이면 반드시 A인 것은 아니다.

재미있는 말로하자면, A는 B라는 한명의 파트너만 만나야하지만 정작 A의 파트너인 B는 A이외의 파트너도 만날 수 있는 난봉꾼입니다. 때문에 A는 B에 종속적이라고 표현합니다.

예를들어 아래의 테이블에서 

사원번호와 이름이 각각 123456, 이진욱

사원번호와 이름이 각각 567890, 이진욱

인 동명이인의 사원이 존재한다고 합시다. 이때, 사원번호를 A속성, 이름을 B속성이라고 한다면, A이면 반드시 B이지만, B이면 반드시 A라고 할 수 없습니다. 따라서, B는 A를 종속하고 있습니다.

 

2. 결정자(determinant)

결정자는 주어진 릴레이션에서 다른 애트리뷰트를 고유하게 결정하는 하나 이상의 애트리뷰트입니다.

아래그림에서 사원릴레이션에 사원번호와 부서번호 2개가 결정자로 사원번호는 사원이름, 주소, 전화번호를 고유하게 결정하고 부서번호는 부서이름을 고유하게 결정합니다.

 

 

 

3. 완전함수적 종속성(FFD: Full Functional Dependency)

사원 릴레이션에 있는 2개의 결정자를 모두 종속하는 경우(직책)가 완전함수적 종속성이고 둘 중 하나의 결정자에만 종속되는 경우(사원이름, 주소, 전화번호는 사원번호에 부서이름은 부서번호)는 부분 함수적 종속성입니다. 

[완전함수적 종속성과 부분함수적 종속성 구분]

 

 

4. 이행적 함수적 종속성(transitive FD)

(1) fd1 : 학과이름과 학과전화번호는 학번에 부분적함수적 종속성

(2) fd3 : 학점은 학번과 과목번호에 완전함수적 종속성

(3) fd2 : 학과전화번호는 학번(결정자)에 의해 부분적 종속성을 가지면서 학번의 또다른 부분함수적 종속성인 학과이름에 함수적종속을 가지는데 이럴경우를 학과전화번호는 이행적 함수적 종속성을 가집니다.