▣ 논리 모델링_함수적 종속성(FD : Functional Dependency) 폐포(Closure) 후보키, 커버(Cover), BCNF, 정규화 1. 폐포(Closure) - 함수적 종속 관계의 집합 F에서 특정 속성 X가 함수적으로 결정하는 속성들의 집합(X+) - 후보키 찾기 - 폐포 알고리즘 2. 커버(Cover) - 어떤 함수종속 집합 F와 동등한 최소의 함수종속 집합을 의미 1) F의 모든 함수종속성들의 오른쪽 편 애트리뷰트가 하나이다. 2) F에서 X -> A를 X의 진부분집합 Y에 대하여 Y->A로 교체했을 때, F와 동등한 함수적 종속성들의 집합이 될 수 없다. (함수 종속성 왼쪽에 무의미하게 중된 애트리뷰트 제거) 3) F로부터 어떤 함수적 종속성을 제거했을 때, F와 동등한 함수적 ..