DB 정규화

이상현상

삭제이상(deletion anomaly) : 투플 삭제 시 같이 저장된 다른 정보까지 연쇄적으로 삭제되는 현상

→  연쇄삭제 문제 발생

 

삽입이상(insertion anomaly) : 투플 삽입 시 특정 속성에 해당하는 값이 없어 NULL 값을 입력해야 하는 현상

→ NULL 값 문제 발생

 

수정이상(update anomaly) : 투플 수정 시 중복된 데이터의 일부만 수정되어 데이터의 불일치 문제가 일어남

→ 불일치(inconsistency) 문제 발생

 

 

검색할 때 실수할 여지가 있다!

 

해결법

테이블 분리

---

함수 종속성

A값을 알면 B의 값이 유일하게 정해지는 의존 관계.

속성 B는 A에 종속한다(dependent) 또는 속성 A는 B를 결정한다(determine)

 

A→B로 표기.

A는 B의 결정자.

 

•부분집합(Subset) 규칙 : if Y ⊆ X, then X → Y

•증가(Augmentation) 규칙 : If X → Y, then XZ → YZ

•이행(Transitivity) 규칙 : If X → Y and Y → Z, then X → Z

 

-

•결합(Union) 규칙 : If X → Y and X → Z, then X → YZ

•분해(Decomposition) 규칙 : If X → YZ, then X → Y and X → Z

•유사이행(Pseudotransitivity) 규칙 : If X → Y and WY → Z, then WX → Z

 

A->B
A->B
C->D
(A, B)는 값이 다 달라야함?

 

정규화

제 1정규형

모든 속성이 원자값을 가짐

모든 값이 1:1 로 되어있는 느낌

제 2정규형

1정규형에서 기본키가 아닌 속성이 기본키에 완전 함수 종속일 때

기본키에 다른 속성들이 전부 부분 집합으로 들어가 있고, 서로는 관계 없음

참고: https://developer111.tistory.com/8

제 3정규형

2정규형에서 기본키가 아닌 속성이 기본키에 비이행적 종속일 때

이행적 종속: A → B, B → C가 성립할 때 A → C가 성립

BCNF

함수 종속성 X → Y가 성립할 때 모든 결정자 X가 후보키

무손실 분해: 분해하고 난 뒤 공통 속성이 어느 한 쪽의 릴레이션 키가 되어야 한다.