1.1 .1Khái niệm về cơ sở dữ liệu
5.4. Dạng chuẩn 3NF
5.4.1 Định nghĩa
Một quan hệ R ở dạng 3NF nếu R đã ở dạng chuẩn 2NF và mỗi thuộc tính khơng khĩa khơng phụ thuộc hàm bắc cầu vào khĩa chính.
Ví dụ: S# CITY
R21 R22
S# City City Status
S1 S2 S3 S4 London Paris Paris London London Paris 20 10
Trong 3NF cĩ thể cĩ nhiều khĩa chính chứ khơng phải 1 khĩa chính. Ví dụ : R (S#, P#, Sname, Qty)
S# QTY
P# Sname
Nhược điểm: Quan hệ này bị dư thừa do S# và Sname lập lại nhiều lần. Nguyên nhân : cĩ sự phụ thuộc hàm lẫn nhau.
5.4.2 Giải thuật phân rã bảo tồn phụ thuộc hàm thành dạng chuẩn 3
Vào : Lược đồ quan hệ R, tập phụ thuộc hàm F, chúng ta giả sử F là phủ tối thiểu.
Ra : Một phân rã bảo tồn phụ thuộc của R sao cho mỗi lược đồ quan hệ con đều cĩ dạng chuẩn 3 ứng với chiếu của F trên lược đồ đĩ.
Phương pháp:
1. Nếu cĩ các thuộc tính của R khơng liên quan tới một phụ thuộc hàm nào trong F, cả ở vế trái lẫn vế phải, thì về ngun tắc các thuộc tính này cĩ thể nhĩm lại thành một quan hệ và ta cĩ thể tách ra khỏi R.
2. Nếu cĩ một phụ thuộc hàm nào liên quan đến tồn bộ các thuộc tính trong R thì R khơng phân chia nữa và kết quả là chính R.
3. Ngược lại, chúng ta phân rã R thành các lược đồ quan hệ XA ứng với mỗi phụ thuộc hàm X->A trong F. Tuy nhiên nếu X->A1, X->A2,,..., X -> An là các phụ thuộc hàm trong F thì ta sử dụng lược đồ XA1A2...An thay cho n lược đồ XA1, XA2, ... , XAn
Ví dụ: Xét lược đồ R = CTHRSG với tập phụ thuộc hàm F như sau: F = {C -> T, CS ->G, HR -> C, HS -> R, HT -> R}
Giải thuật trên sinh ra tập các lược đồ quan hệ CT, CGS, HRC, HSR, HTR bảo tồn phụ thuộc hàm .
5.4.3 Phân rã thành dạng chuẩn 3 bảo tồn phụ thuộc hàm và bảo tồn thơng tin
Vấn đề đặt ra là ta cĩ thể phân rã một lược đồ quan hệ về dạng chuẩn 3 trong đĩ vừa bảo tồn phụ thuộc hàm vừa bảo tồn thơng tin khơng? Câu trả lời là luơn luơn làm được điều này bằng cách ghép với một lược đồ quan hệ X là khố của R theo định lý sau:
Định lý : Gọi là một phân rã dạng chuẩn 3 của R bằng giải thuật phân rã bảo
tồn phụ thuộc hàm thành dạng chuẩn 3 và X là khố của R Thế thì = U {X} là một phân rã của R mà tất cả các lược đồ quan hệ đều cĩ dạng chuẩn 3; phân rã này cĩ đặc tính bảo tồn phụ thuộc hàm và bảo tồn thơng tin.
Ví dụ: Sử dụng lại ví dụ ở phần 5.4.2 với SH là khố của R thì phân rã thành các lược đồ quan hệ (CT, CGS, HRC, HSR, HTR) vừa bảo tồn phụ thuộc hàm và bảo tồn thơng tin vì tình cờ HS nằm trong lược đồ quan hệ HSR.