Functional Dependencies(FD, 함수적 종속성)

• 좋은 릴레이션 설계의 정형적 기준으로 사용됨.
• FD와 Key는 릴레이션의 정규형을 정의하기 위해 사용됨.
• FD는 데이터 애트리뷰트들의 의미와 애트리뷰트들 간의 상호관계로 유도되는 제약조건의 일종임

함수적 종속성의 정의

• X와 Y를 임의의 애트리뷰트 집합이라고 할 때, X의 값이 Y의 값을 유일하게(unique) 결정할 때

  → X는 Y를 함수적으로 결정한다

• X → Y 로 표기하고, Y는 X에 함수적으로 종속된다

  • X : 결정자(determinant)
  • Y : 종속자(dependent)

• FD는 스키마 R에 있는 애트리뷰트들의 특성이며, 모든 릴레이션 인스턴스 r(R)에서 성립해야 하는 성질

• K가 R의 키이면 K는 R의 모든 애트리뷰트들을 함수적으로 결정한다. (t1[K] = t2[K]인 서로 다른 두 투플이 존재하지 않기 때문)

함수적 종속성의 검사 방법

• 릴레이션 인스턴스 r(R)에 속하는 어떠한 임의의 두 투플에 대해서도 속성들의 집합 X에 대해 동일한 값을 가질 때마다 Y에 대해서도 동일한 값을 가질 때

  → X → Y 라는 함수적 종속성이 성립함.

• r(R)에서의 임의의 두 투플 t1과 t2에 대해 t1[X] = t2[X]이면, t1[Y] = t2[Y]이다.

FD 제약조건 예제

• 주민등록번호(SSN)는 사원의 이름(ENAME)을 결정한다.
  • SSN → ENAME
• 프로젝트 번호(PNUMBER)는 프로젝트 이름(PNAME)과 위치(PLOCATION)를 결정한다.
  • PNUMBER → {PNAME, PLOCATION}
• 사원의 주민등록번호(SSN)와 프로젝트 번호(PNUMBER)는 그 사원이 일주일 동안 그 프로젝트을 위해서 일하는 시간(HOURS)을 결정한다.
  • {SSN, PNUMBER} → HOURS

완전 함수 종속(Full FD) & 부분 함수 종속(Partial FD)

• Full FD : 기본 키 전체
• Partial FD : 기본키 중 하나