|
정의
|
- 수학적 법칙을 정의하여 기본이 되는 값에 다른 속성들이 종속된다는 법칙
|
|
구조
|
- X가 결정자라면, X를 제외한 Y는 모두 X에 의해 결정됨
- X → Y의 법칙에 적용되는 X는 단 하나임(유일성)
- X → Y 일 때 X가 후보키가 아니면 이상현상 발생
|
|
주요기능
|
- 완전함수 : X,Y → Z 일 때, X → Z 이거나 Y → Z 가 아닌 경우 최소성과 유일성을 만족 못함
- 이행함수 : X → Y 이고 Y → X 이면, X → Z를 만족하는 경우 기본 키를 제외한 컬럼간 종속성
- 부분함수 : X, Y → Z 인데, X → Z 이거나 Y → Z 인 경우 부분함수 종속성
|
|
검사방법
|
- 릴레이션 인스턴스 r(R)에 속하는 어떠한 임의의 두 투플에 대해서도 속성들의 집합 X에 대해 동일한 값을 가질 때마다 Y에 대해서도 동일한 값을 가진다면 X → Y라는 함수적 종속성이 성립한다.
- 즉, r(R)에서의 임의의 두 투플 t1과 t2에 대해 t1[X] = t2[X]이면, t1[Y] = t2[Y]이다.
|
|
증요성
|
- 각 데이터를 종속된 테이블에 배치하여 데이터의 반복 차단
- 이상현상을 제거 시 데이터의 정합성 유지
- 정규화 작업 시 가장 중요한 작업으로 제2정규형에서 BCNF까지 적용 됨
|
|
종속성 유형
|
- 완전함수 종속 : full functional dependency
- X’⊂X 이고 X’→Y 를 만족하는 애트리뷰트 X'이 존재하지 않음
- 부분함수 종속 : partial functional dependency
- X’⊂X 이고 X’→Y 를 만족하는 애트리뷰트 X'이 존재함
- 이행함수적 종속성 : transitive dependence
- 릴레이션 R에서 속성 A→X이고 X→Y이면 A→Y임
- 결정자 함수적 종속성(BCNF) : boyce-code normalization
- 함수적 종속이 되는 결정자가 후보키가 아닌 경우
- 즉, X→Y에서 X가 후보키가 아님
- 다중값 종속성(4ND) : MVD: Multi-Valued Dependency
- 한관계에 둘이상의 독립적 다중값속성이 존재하는 경우
- X, Y, Z 세개의 속성을 가진 릴레이션 R에서 속성쌍[X,Z]값에 대응하는 Y값의 집합이 X값에만 종속되고 Z값에는 독립이면 Y는 X에 다중값 종속된다고 하고 X->>Y로 표기
- 조인 종속성(5NF) : Adjoin Dependency
- 관계 중에서 둘로 나눌 때는 원래의 관계로 회복할 수 없으나, 셋 또는 그 이상으로 분리시킬 때 원래의 관계를 복원할 수 있는 특수한 경우임
|