Database。함수 종속(FD, Functional Dependency)

어떤 릴레이션 R에서 X와 Y를 각각 R의 애트리뷰트 집합의 부분 집합이라 가정.

애트리뷰트 X의 값 각각에 대해 시간에 관계없이 항상 애트리뷰트 항상 애트리뷰트 Y의 값이 오직 하나만 연관되어 있을 때 Y는 X에 함수 종속(X → Y 표기)

 

릴레이션 R에서 애트리뷰트 Y가 애트리뷰트 X에 함수 종속(X → Y)이라는 의미는 애트리뷰트 X의 값이 애트리뷰트 Y의 값을 함수적으로 결정한다는 의미

 

# 결정자(Determinant)

X → Y의 관계를 성립시키는 X

 

# 종속자(Dependent)

Y

 

1. 완전 함수 종속(Full Functional Dependency)

기본키에만 종속되며, 기본키가 여러 속성으로 구성되어 있을 경우 기본키를 구성하는 모든 속성이 포함된 기본키의 부분집합에 종속된 경우

 

2. 부분 함수 종속(Partial Functional Dependency)

릴레이션에서 종속자가 기본키가 아닌 다른 속성에 종속되거나, 기본키가 여러 속성으로 구성되어 있을 경우 기본키를 구성하는 속성 중 일부만 종속되는 경우

 

3. 이행적 함수 종속(Transitive Functional Dependency)

릴레이션에서 X, Y, Z라는 3개의 속성이 있을 때 X → Y, Y → Z란 종속 관계가 있을 경우, X → Z가 성립될 때, X를 알면 Y를 알고 그를 통해 Z를 알 수 있는 경우

 

주어진 어떤 릴레이션 R에 존재하는 함수 종속에 대해 다음과 같은 추론 규칙(Inference Rule)이 성립

 

R1 : 반사규칙     A ⊇ B 이면 A → B이고 A → A이다.

R2 : 첨가규칙     A → B 이면 AC → BC이고 AC → B이다.

R3 : 이행규칙     A → B 이면 B → C이고 A → C이다.

R4 : 분해규칙     A → BC 이면 A → B이다.

R5 : 결합규칙     A → B 이면 A → C이고 A → BC이다.