CHƯƠNG 6 : LÝ THUYẾT VỀ THIẾT KẾ CƠ SỞ DỮ LIỆU
6.2. Chuẩn hóa lược đồ quan hệ
6.2.4.3. Dạng chuẩn 3 (Third Normal Form – 3NF)
Định nghĩa 1: Một lược đồ quan hệ R được gọi là đạt chuẩn 3 nếu mọi phụ thuộc hàm không hi ển nhiên X → A định nghĩa trên F (trong đó X là tập thuộc tính, A là một thuộc tính) thỏa một trong hai điều kiện sau:
(1) Hoặc X là siêu khóa (2) Hoặc A là thuộc tính khóa
Định nghĩa 2: Một lược đồ quan hệ R được gọi là đạt chuẩn 3 nếu R đạt chuẩn 2
và mọi thuộc tính khơng khóa đều khơng phụ thuộc bắt cầu vào một khóa bất kỳ của R.
Ví dụ 6.15: Cho luợc đồ quan hệ R(A,C,D,E) và F={AD → C, D → E, E → D}
Kiểm tra R có đạt chuẩn 3 khơng?
Để kiểm tra chuẩn 3 ta phải tìm ra tất cả các khóa của R TN={A}, TG={D, E}
Xi Xi ∪ TN {Xi ∪ TN}+ Si K
∅ A A
D AD ACDE AD AD
E AE ACDE AE AE
DE ADE ACDE ADE
R có 2 khóa K1=AD, K2=AE, thuộc tính khơng khóa là C
Kiểm tra chuẩn 3 dùng định nghĩa 1:
Xét các phụ thuộc hàm trong F:
AD → C có vế trái AD là siêu khóa
D → E có vế phải E là thuộc tính khóa
E → D có vế phải D là thuộc tính
khóa
Các phụ thuộc hàm trong F đều thỏa, vậy R đạt chuẩn 3.
Kiểm tra chuẩn 3 dùng định nghĩa 2:
Khơng tìm thấy thấy tập thuộc tính nào khác khóa mà xác định C (thuộc tính
khơng khóa) nên C chỉ phụ thuộc trực tiếp vào khóa (AD → C, AE → C) mà không
phụ thuộc bắt cầu vào khóa nên R đạt chuẩn 3. Ví dụ 6.16: Xét các lược đồ quan hệ:
HOADON (SOHD, NGAYLAP, MAKH, TEN_KH)
F={SOHD→NGAYLAP,
SOHD→MAKH,
MAKH→TEN_KH }
HOADON có một khố là SOHD, lược đồ này chưa đạt chuẩn 3 vì có thuộc tính khơng khố là TEN_KH phụ thuộc bắt cầu vào khóa SOHD: với các phụ thuộc hàm:
SOHD → MAKH, MAKH → TENK
HOADON (SOHD, NGAYDH, MAKH) đạt chuẩn 3 CHITIETHD (SOHD,MA_HH, SOLUONG,TRIGIA) đạt chuẩn 3
Một lược đồ cơ sở dữ liệu được gọi là ở dạng chuẩn ba nếu mọi lược đồ quan hệ con của nó đều ở dạng chuẩn ba. Dạng chuẩn ba là tiêu chu ẩn tối thiểu trong việc thiết kế CSDL.