SQL 제6 장 총화

본 고 는 관계 데이터 이론 장절 의 총 결 이다.
목차

1. 문제 의 제기

2. 규범화

2.1 함수 의존

2.2 야드

2.3 범례

2.4 2NF

2.5 3NF

2.6 BCNF

2.7 다수 치 의존

2.8 4NF

3. 후보 코드 에 대한 설명

3.1 폐쇄

3.2 함수 의존 분류

1. 문제 제기
관계 모드 는 다섯 부분 으로 구성 되 어 있 으 며 하나의 5 원 그룹 입 니 다. R (U, D, DOM, F) R 은 기호 화 된 원 그룹의 의미 U 는 하나의 속성 D 로 속성 그룹 U 의 속성 에서 온 도 메 인 DOM 은 속성 에서 도 메 인 까지 의 맵 F 는 속성 그룹 U 의 데이터 의존 입 니 다.
2 차원 표 로 서 관 계 는 가장 기본 적 인 조건 에 부합 해 야 한다. 모든 분량 은 반드시 나 눌 수 없 는 데이터 항목 이 어야 한다. 이 조건 을 만족 시 키 는 관계 모델 은 첫 번 째 범례 (1NF) 에 속한다.
데이터 의존 은 내부 속성 과 속성 간 의 제약 관계 로 그 중에서 가장 중요 한 것 은 함수 의존 과 다 중 의존 이다.
관계 모델 에 존재 하 는 문제점: (1) 데이터 가 불필요 하고 대량의 저장 공간 을 낭비 합 니 다. 모든 학과 장의 이름 이 중복 되 어 나타 날 때 (2) 이상 업데이트 데 이 터 를 업데이트 할 때 유지 대가 가 큽 니 다. 특정한 학과 가 학과 장 을 교체 한 후에 관련 된 모든 원 조 를 수정 해 야 합 니 다.(3) 이상 삽입 만약 에 한 학과 가 설립 되 었 고 학생 이 없 으 면 이 학과 와 학과 장 을 데이터베이스 에 저장 할 수 없다.(4) 이상 을 삭제 하고 만약 에 어떤 학과 의 학생 이 모두 졸업 하면 해당 학과 의 학생 정 보 를 삭제 하 는 동시에 이 학과 와 학과 장의 정보 도 잃어버린다.
좋 은 모드 에 서 는 삽입 이상, 삭제 이상, 업데이트 이상 이 발생 하지 않 고 데이터 중복 은 가능 한 한 적어 야 합 니 다.
2. 규범화
2.1 함수 의존
설정 R (U) 은 속성 집합 U 의 관계 모드 이 고 X 와 Y 는 U 의 부분 집합 입 니 다.R (U) 의 임의의 가능 한 관계 r 에 대해 r 에 존재 할 수 없습니다. 두 원 조 는 X 에 있 는 속성 값 이 같 고 Y 에 있 는 속성 값 이 다 르 면 X 함수 가 Y 또는 Y 함수 가 X 에 의존 하 는 지 확인 하고 X → Y 로 기록 합 니 다.
X → Y, 그러나 Y * 8840 ° X 는 X → Y 가 평범 하지 않 은 함수 의존 이 라 고 부른다.X → Y, 그러나 Y * 8838 ° X 는 X → Y 를 평범한 함수 의존 이 라 고 부른다.
X → Y 라면 X 는 이 함수 의존 의 결정 요소 라 고 부 릅 니 다. X → Y, Y → X 라면 X ← → Y 로 기억 합 니 다.Y 가 함수 가 X 에 의존 하지 않 으 면 X * 8603 ° Y 로 기록 합 니 다.
R (U) 에서 만약 에 X → Y, 그리고 X 의 모든 진짜 부분 집합 X '에 대해 X' ↛ Y 가 있 으 면 Y 는 X 의 완전 함수 에 의존 하고 X → Y 라 고 부른다.X → Y 이지 만 Y 불완전 함수 가 X 에 의존 하면 Y 는 X 부분 함수 에 의존 하고 X → Y 로 기록 합 니 다.
R (U) 에 서 는 X → Y (Y ⊈ X), Y ↛ X, Y → Z, Z ⊈ Y 의 경우 Z 가 X 전달 함수 에 의존한다 고 한다.
2.2 야드
K 를 R 의 속성 이나 속성 조합 으로 설정 합 니 다.K → U 라면 K 는 R 의 후보 코드 라 고 부른다.U 부분 함수 가 K, 즉 K → U 에 의존 하면 K 를 초 코드 라 고 한다.관계 모드 R 에 여러 개의 후보 코드 가 있 으 면 그 중 하 나 를 주 코드 로 선정한다.
모든 후보 코드 에 포 함 된 속성 을 주 속성 이 라 고 하 며, 그 어떠한 코드 에 도 포함 되 지 않 는 속성 을 비 주 속성 또는 비 코드 속성 이 라 고 합 니 다.
전체 속성 그룹 은 코드 로 전체 코드 라 고 합 니 다.
관계 모드 R 에서 속성 이나 속성 그룹 X 는 R 의 코드 가 아니 지만 X 는 다른 관계 모드 의 코드 이 고 X 는 R 의 외부 코드 라 고도 부 르 며 외부 코드 라 고도 부른다.
2.3 범례
분류:

    (1NF)
    (2NF)
    (3NF)
BC  (BCNF)
    (4NF)
    (5NF)

낮은 등급 의 범례 적 관계 모델 은 모델 분 해 를 통 해 몇 개의 높 은 등급 의 범례 적 관계 모델 로 전환 할 수 있 는 집합 과정 을 규범화 라 고 한다.
2.4 2NF
관계 모드 R * 8712 ° 1NF 이 고 모든 비 주 속성 이 모든 후보 코드 에 의존 하면 R * 8712 ° 2NF 입 니 다.
2.5 3NF
관계 모드 R * 8712 ° 1NF 를 설정 합 니 다. R 에 이러한 코드 X, 속성 그룹 Y 와 비 주 속성 Z (Y * 8839 ° Z) 가 존재 하지 않 으 면 X → Y, Y → Z 가 성립 되 고 Y * 8603 ° X 가 성립 되 지 않 으 면 R * 8712 ° 3NF 라 고 합 니 다.R * 8712 ° 3NF 라면 모든 비 주 속성 은 코드 에 의존 하지 도 않 고 일부 코드 에 의존 하지 도 않 습 니 다.R 이 3NF 에 속 한 다 는 것 을 증명 할 수 있 으 면 R 이 반드시 2NF 에 속 한 다 는 것 이다.
2.6 BCNF
일반적으로 BCNF 는 수정의 세 번 째 패 러 다 임 이 라 고 생각 하 며, 때로는 확장 의 세 번 째 패 러 다 임 이 라 고도 부른다.관계 모드 R * 8712 ° 1NF 를 설정 하고 X → Y 및 Y * 8838 ° X 시 X 에 코드 가 포함 되 어 있 으 면 R * 8712 ° BCNF.다시 말 하면 관계 모드 R 에 모든 결정 속성 집합 에 후보 코드 가 포함 되 어 있 으 면 R * 8712 ° BCNF.
2.7 다수 치 의존
설정 R (U) 은 속성 집합 U 의 관계 모드 입 니 다.X, Y, Z 는 U 의 부분 집합 이 고 Z = U - X - Y 이다.관계 모드 R (U) 에서 다 중 값 은 X → Y 에 의존 하여 성립 됩 니 다. R (U) 의 임 의 관계 r 에 만 주어진 한 쌍 (x, z) 값 이 있 고 Y 의 값 이 있 습 니 다. 이 값 은 x 값 에 만 결정 되 며 z 값 과 무관 합 니 다.
X → → Y, Z =Ф，X → → Y 를 평범한 다수 치 의존 이 라 고 한다.그렇지 않 으 면 X → → Y 를 평범 하지 않 은 다수 치 의존 이 라 고 한다.
2.8 4NF
관계 모드 R * 8712 ° 1NF, R 의 모든 평범 하지 않 은 다 중 값 에 X → Y (Y * 8840 ° X) 에 의존 하면 X 에 코드 가 포함 되 어 있 으 면 R * 8712 ° 4NF.만약 하나의 관계 모델 이 4NF 라면 반드시 BCNF 가 될 것 이다.
3. 후보 코드 에 대한 설명
3.1 폐쇄
패 킷 닫 기 (X + 로 기록) 는 하나의 속성 이 직접적 이거 나 간접 적 으로 유도 하 는 모든 속성의 집합 이다.
예 를 들 어 f = {a - > b, b - > c, a - > d, e - > f};a 에서 b 와 d 를 직접 얻 을 수 있 고 간접 적 으로 c 를 얻 을 수 있 으 면 a 의 패 키 지 는 {a, b, c, d} 이다.
3.2 함수 의존 분류
주어진 관계 R (A1, A2,... An) 과 함수 의존 집합 F 에 대해 그 속성 을 4 가지 로 나 눌 수 있 습 니 다.
L 클래스: 함수 가 왼쪽 에 의존 하 는 속성 만 나타 납 니 다.R 클래스: 함수 가 오른쪽 에 의존 하 는 속성 만 나타 납 니 다.N 클래스: 함수 가 좌우 양쪽 에 나타 나 지 않 은 속성 에 의존 합 니 다.LR 클래스: 함수 가 좌우 양쪽 에 나타 나 는 속성 에 의존 합 니 다.
정리: 주어진 관계 모드 R 과 그 함수 에 대해 집합 F 에 의존 합 니 다. X (X * 8712 ° R) 가 L 류 속성 이면 X 는 R 의 모든 후보 코드 의 구성원 입 니 다.
추론: 주어진 관계 모드 R 과 그 함수 에 대한 의존 집합 F, 만약 X (X * 8712 ° R) 가 L 류 속성 이 고 X + 는 R 의 모든 속성 을 포함 합 니 다.X 필 이 R 의 유일한 후보 코드 입 니 다.