DB, 함수종속성

함수종속(FD; Functional Dependency)
: 어떤 릴레이션 R에서 애트리뷰트 X의 값 각각에 대해 애트리뷰트 Y의 값이 오직 하나만 연관되어 있을 때 Y는 X에 함수종속이라하고, R.X --> R.Y로 표기한다. 여기서 애트리뷰트 X나 Y는 복합 애트리뷰트가 될 수도 있다.

결정자
: 릴레이션 R에서 애트리뷰트 Y가 애트리뷰트 X에 함수종속이라는 의미는 애트리뷰트 X가 애트리뷰트 Y를 함수적으로 결정한다는 의미와 동등함. 하여 R.X --> R.Y의 관계를 갖는 X를 결정자(determinant)라고 함.

<수강 릴레이션의 함수종속 다이어그램>

(1) 수강.<학번, 과목번호> --> 수강.성적

     : 수강.성적 애트리뷰트는 복합 애트리뷰트 수강.<학번, 과목번호>에 완전함수종속 (full functional dependency) 

(2) 수강.학번 --> 수강.학년

     : 수강.학년 애트리뷰트는 수강.학번 애트리뷰트에 완전함수 종속이지만

       복합애트리뷰트 <학번, 과목번호>에는 부분함수종속(partial functional dependency)