함수적 종속성

관계형 테이블에서 만약 속성 A의 값이 속성 B의 값을 완전하게 결정할 수 있다면, 속성 B는 속성 A에 함수적으로 종속되어 있다고 하며, 다음과 같이 표현한다.

A→B

A를 결정자(Determinant)라 하고, B를 종속자(dependent)라고 한다.

함수적 종속성(FD:Functional Dependency)은 관계 데이터베이스를 설계하는 데 중요한 고려 사항으로, 좋은 릴레이션 설계의 정형적 기준으로 사용된다. 또한 이는 데이터 속성들의 의미와 속성들 간의 상호 관계로부터 유도되는 제약조건의 일종이다. 이와 같은 함수적 종속성과 키는 정규형(2NF, 3NF, BCNF)을 정의하기 위해 사용된다.

속성들의 집합 X의 값이 속성들의 잡합 Y의 값을 유일하게 결정한다면, X는 Y를 함수적으로 결정한다고 한다.

암스트롱의 추론 규칙

A1. 재귀성 규칙 : Y⊆X이면, X→Y이다.

A2. 부가성 규칙 : X→Y이면, XZ→YZ이다. XZ는 X∪Z를 의미함

A3. 이행성 규칙 : X→Y이고 Y→Z이면, X→Z이다.

A1~3은 완전한 추론 규칙 집합을 형성한다. 추가적인 유용한 추론 규칙들을 제시하면 다음과 같다.

분해 규칙 : X→YZ이면, X→Y이고 X→Z이다.

합집합 규칙 : X→Y이고 X→Z이면, X→YZ이다.

의사 이행성 규칙 : X→Y이고 WY→Z이면, WX→Z이다.