정규화란 무엇인가?

이상현상이 발생하는 데이터 테이블을 무손실분해 하는 작업

 

 

1. 이상현상(anormaly)

논리적 모델링의 사상단계에서 발생한다.

 

삭제이상(deletion anormaly)

튜플 삭제 시 같이 저장된 다른 정보까지 연쇄적으로 삭제되는 현상

-> 연쇄삭제(triggered deletion)문제 발생

 

 

 

삽입이상(deletion anormaly)

 

 

수정이상(update anormaly)

 

 

 

 

2. 함수 종속성

 

학생수강성적 릴레이션의 각 속성 사이에는 의존성이 존재함.

어떤 속성 A의 값을 알면 다른 속성 B의 값이 유일하게 정해지는 의존 관계를

‘속성 B는 속성 A에 종속한다(dependent)’ 혹은 ‘속성 A는 속성 B를 결정한다(determine)’라고 함.

‘A → B’로 표기하며, A를 B의 결정자라고 함.

(A가 있으면 B를 유일하게 결정할 수 있다.)

 

A는  속성 하나일 수도 있고, 여러개의 속성일 수도 있다.

 

함수 종속성과 기본키
기본키는 릴레이션의 모든 속성에 대해 결정자(determinant)이다.

 

이상현상은 한 개의 릴레이션에 기본키가 아니면서 결정자인 속성이 있을 때 발생한다!

이상현상을 없애려면 릴레이션을 무손실 분해해야한다.

무손실 분해란, 속성을 삭제하지 않고 분해하는 것이다.

 

릴레이션을 분해할 때, 부분 릴레이션의 결정자는 원래 릴레이션에 남겨두어야 한다.

이렇게 해야 분해된 부분 릴레이션이 원래 릴레이션과 관계를 형성할 수 있다.

 

 

3. 정규화

 

릴레이션은 정규형 개념으로 구분하고, 

정규형이 높을수록 이상현상은 줄어듦

 

정규형은 6단계로 나눌 수 있고, 숫자가 높은 정규형은 이전 정규형이 완료된 후 진행한다.

제 1정규형(1NF)

제 2정규형(2NF)

제 3정규형(3NF)

기본키가 아닌 속성이 기본키에 비이행적(non-transitive)로 종속할 때.

이행적 종속 : A-> B, B->C가 성립할 때 A->C가 성립되는 함수 종속성

 

BCNF정규형

제 4정규형(4NF)

제 5정규형(5NF)

 

일반적으로, 제 3정규형까지만 정규화한다.