결정자 함수 종속성 제거, BCNF(3.5NF) 개요

토픽 이름	BCNF(Boyce-Codd NF, 3.5NF)
분류	데이터베이스 > 정규화 > BCNF(3.5NF)
키워드	결정자 함수 종속성 제거, 이상현상 방지
암기법

 

기출문제

번호	문제	회차
1	아래의 스키마(Schema)와 함수종속성(FD:Fuctional Dependency)을 이용하여 함수종속도표(Funcional Dependency Diagram)를 작성한 뒤, 키(Key)를 찾아내는 과정을 설명하고, BCNF(Boyce-Codd Normal Form)의 정의를 기술하고 조건을 만족시키는 테이블을 설계하시오   대출스키마(지점명, 자산, 장소, 대출번호, 고객명, 금액) FD : 지점명 -> 자산                 지점명 -> 장소     대출번호 -> 지점명              대출번호 -> 금액	105/관리/3
2	BCNF(Boyce/Code Normal Form)	80/관리/1

 

 

 

II.   결정자 함수 종속성 제거, BCNF(3.5NF) 개요

나.   BCNF(Boyce-Codd Normal Form)의 정의

- 관계 R이 제 3 정규화를 만족하고 모든 결정자가 후보키인 정규화

- 식별자가 여러 개인 경우, 식별자 중복현상 제거

- 결정자 역할 속성과 함수적 종속 속성을 테이블로 분리

다.   BCNF 정규화 수행 목적

- 후보키가 아니면서 결정자인 속성이 존재하는 경우 발생하는 이상현상 방지 목적

 

III.   BCNF 정규화 사례 1

나.   기본 조건 분석

-  다음과 같은 비즈니스 제약조건

2)   학생은 각 과목에 대하여 한 교수의 강의만 수강

3)   각 교수는 한 과목만 담당

 

 

4)   한 과목은 여러 교수가 담당 가능

다.   이상현상

구분	이상현상
입력이상 (삽입)	- 교수 P5가 자료구조를 담당하게 되었을 때, 이 사실만을 삽입할 수 없다. (원치 않는 불필요 정보까지 삽입)
수정이상 (갱신)	- 교수 P1의 담당과목이 프로그래밍에서 자료구조로 변경되었다면, 이 릴레이션에서 P1이 나타난 모든 투플에 대해 변경해야한다  (수정하지 않을 경우 테이블 불일치 발생)
삭제이상 (삭제)	- 학번 100 학생이 자료구조 과목을 취소하고 투플이 삭제되면 교수 P2가 자료구조 과목을 담당한다는 정보도 삭제된다. (원치 않는 정보 삭제)

라.   이상현상 해결방안

구분	이상현상
발생원인	- 교수 속성이 결정자이지만 후보키는 아님
해결방안	- 프로젝션을 통해 릴레이션 분해

 

 

-  결정자 간 함수적 종속성 분해

 

IV.   BCNF 정규화 사례 2

“끝”