정보시스템감리사, 정보관리기술사

▣ 논리 모델링_함수적 종속성(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와 동등한 함수적 ..

▣ 함수적 종속(Functional Dependency) 1) 완전 함수적 종속 릴레이션 R에서 애트리뷰트 X의 값 각각에 대해 항상 애트리뷰트 Y의 값이 하나만 연관되는 경우 2) 부분 함수적 종속 애트리뷰트 Y가 복합 애트리뷰트 X에 함수 종속이면서 X의 진부분 집합에는 함수 종속이 아닌 경우 3) 이행 함수 종속 종속관계 중 키가 아닌 다른 애트리뷰트도 결정자일 경우 ▣ 정규화 1) 제1정규형(1NF, First Noraml Form) 한 릴레이션을 구성하는 모든 도메인이 원자값으로 된 정규형 / 속성의 원자화 2) 제2정규형(2NF, Second Normal Form) 제1정규형을 만족하면서 릴레이션에 존재하는 부분 함수적 종속을 제거하여, 모든 속성이 기본키에 완전 함수 종속이 되도록 만들어진 ..