BCNF 2

정규화- BCNF 분해

▣ 정규화- BCNF 분해 2015년 51번 정답 : 3번 후보키(A,B)가 C를 종속하고, C가 후보키 B를 종속 2012년 56번 정답 : 3번 C->D가 R3(C,D)릴레이션으로 추출 E->C가 R2(E,C)릴레이션으로 추출 마지막으로 A->(B,C,D,E), B->(A,C,D,E)에서 C,D,E가 나왔으므로 A->(B,E) 혹은 B->(A,E)만 추가하면 문제에서 제시하는 종속이 보존되므로 R1(A,B,E) 혹은 R1(B,A,E) A와 B는 같은 릴레이션 내 동격인 후보키임 (A->B, B->A) ∴ R1(A,B,E), R2(E,C), R3(C,D) 이거나 R1(B,A,E), R2(E,C), R3(C,D) 로 분해됨 2013년 55번 정답 : 4번 보이스/코드(BCNF) 분할 결과는 (X, Z)와..

데이터베이스 2021.08.29

논리 모델링_함수적 종속성(FD : Functional Dependency) 폐포(Closure) 후보키, 커버(Cover), BCNF, 정규화

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

데이터베이스 2021.08.24