Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chương I: Khái niệm cơ bản về các hệ cơ <strong>sở</strong> <strong>dữ</strong> <strong>liệu</strong><br />
Ví dụ Cho Ω = {A, B, C, D, E, G} và<br />
F = {AB→C, D→ EG, C→ A, BE→ C, BC→ D, CG→BD, ACD→ B, CE →AG}.<br />
Các khoá của lược đồ quan hệ gồm: K1 = {A, B}, K2 = {B, E}, K3 = {C, G}, K4 = {C, E},<br />
K5 = {C, D}, K6 = {B, C}. Như vậy không tồn tại các thuộc tính không khoá, vì vậy lược<br />
đồ quan hệ trên dạng chuẩn 2NF.<br />
4.4.4 Dạng chuẩn 3 - 3NF (Third Normal Form)<br />
Lược đồ quan hệ s= được gọi là dạng chuẩn 3NF, khi và chỉ khi không tồn tại phụ<br />
thuộc hàm X → Y ∈ F + sao cho X + ≠ Ω , Y ⊄ X và Y là thuộc tính không khóa. Nói cách<br />
khác nếu X → Y ∈ F + , Y ⊄ X thì khi đó hoặc X là khóa của lược đồ quan hệ hoặc Y là<br />
một thuộc tính của khóa.<br />
Trong lược đồ 2NF, cấm tất cả các thuộc tính không khoá phụ thuộc vào các tập con thực<br />
sự của khoá. Trong dạng chuẩn 3NF, cấm các thuộc tính không khoá phụ thuộc hàm vào<br />
tất cả các tập thuộc tính có bao đóng khác Ω.<br />
Các khảng định sau là tương đương<br />
a) Không tồn tại phụ thuộc hàm X → Y ∈ F + sao cho X + ≠ Ω , Y ⊄ X và Y là<br />
thuộc tính không khóa.<br />
b) Nếu X → Y ∈ F + , Y ⊄ X khi đó hoặc X là khóa của lược đồ quan hệ hoặc Y là<br />
một thuộc tính của khóa.<br />
c) Không tồn tại thuộc tính không khoá phụ thuộc bắc cầu vào khoá.<br />
d) Tập các thuộc tính không khoá bằng rỗng.<br />
Như vậy một lược đồ quan hệ dạng chuẩn 3NF thì cũng là dạng chuẩn 2NF.<br />
Lược đồ quan hệ TUYEN là lược đồ quan hệ dạng chuẩn 3NF. Vì (MC#,TC#) là các<br />
thuộc tính khóa. Lược đồ quan hệ CAP_NSX ở dạng chuẩn 2NF, nhưng không phải là<br />
dạng chuẩn 3NF. Vì N# → NSX, N# và NSX là các thuộc tính không khóa. Hiển<br />
nhiên có thể kiểm tra được rằng khi chèn thêm <strong>dữ</strong> <strong>liệu</strong>, hoặc loại bỏ <strong>dữ</strong> <strong>liệu</strong> hoặc sửa đổi giá<br />
trị của một số thuộc tính trong một quan hệ bất kỳ của lược đồ quan hệ CAP_NSX sẽ xuất<br />
hiện các bất thường khi tìm kiếm, tra cứu thông tin. Có thể tách CAP_NSX thành 2 quan<br />
hệ chuẩn 3NF CAP và SX (hình 4.7). Phép tách có kết nối không tổn thất thông tin.<br />
MC# N#<br />
N#<br />
NSX<br />
Hình 4.7 CAP(MC#,N#) SX(N#,NSX)<br />
Từ một lược đồ quan hệ 2NF nhưng không phải 3NF được biến đổi thành một họ tương<br />
đương các lược đồ quan hệ dạng 3NF. Quá trình chuyển đổi là quá trình khả nghịch, do đó<br />
không làm mất thông tin trong quá trình chuyển đổi. Các lược đồ quan hệ kết quả sau biến<br />
đổi được gọi là các lược đồ quan hệ chiếu. Nhóm các lược đồ quan hệ chiếu tương đương<br />
với lược đồ quan hệ ban đầu theo nghĩa là lược đồ quan hệ ban đầu có thể nhận được bằng<br />
cách thực hiện các phép kết nối các lược đồ quan hệ chiêú tương ứng. Như vậy quá trình<br />
85