함수적 종속성(Functional Dependency)의 정의 1) 데이터들이 어떤 기준값에 의해 항상 종속되는 현상 2) 어떤 릴레이션 R에서, 애트리뷰트 X의 값 각각에 대해 애트리뷰트 Y의 값이 하나만 연관 3) ‘Y는 X에 함수적으로 종속된다’라고 정의하고 X→Y 로 표기 4) X : 결정자(determinant), Y : 종속자(dependent) 5) X와 Y를 임의의 애트리뷰트들의 집합이라고 할 때, X의 값이 Y의 값을 유일하게(unique) 결정한다면 “X는 Y를 함수적으로 결정한다(functionally determines)”라고 함 6) X → Y로 표기하고, “Y는 X에 함수적으로 종속된다” 라고 함 7) 함수적 종속성은 모든 릴레이션 인스턴스 r(R)에 대하여 성립해야 함