You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
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 />
Loại bỏ các phụ thuộc bắc cầu vào khoá:<br />
MC# N#<br />
N#<br />
NSX<br />
CAP(MC#,N#) SX(N#,NSX)<br />
Hình 4.9 Quá trình tách QLCAP về các lược đồ quan hệ 3NF<br />
4.5 Dạng chuẩn Boyce Codd<br />
Khái niệm lược đồ quan hệ dạng chuẩn 1NF và dạng chuẩn 2NF là những khái niệm trung<br />
gian trên chặng đường đi tới chuẩn 3NF. Tuy nhiên với khái niệm chuẩn 3NF chưa thoả<br />
mãn cho các trường hợp lược đồ quan hệ có hơn một khoá, đặc biệt các trường hợp khoá<br />
giao nhau. Heath là người đầu tiên, sau đó Boyce Codd đã đưa ra định nghĩa dạng chuẩn<br />
Boyce Codd có thể thoả mãn các yêu cầu trên. Khái niệm dạng chuẩn Boyce Codd không<br />
dựa vào các khái niệm dạng chuẩn 1NF và 2NF , tức là không dựa vào các khái niệm về<br />
phụ thuộc hàm đầy đủ và phụ thuộc bắc cầu.<br />
4.5.1 Định nghĩa dạng chuẩn Boyce Codd<br />
Lược đồ quan hệ s = được gọi là lược đồ dạng chuẩn Boyce - Codd (BCNF), nếu<br />
với mọi phụ thuộc X → Y ∈ F + , thì khi đó hoặc Y ⊆ X (phụ thuộc tầm thường), hoặc X<br />
là một khoá của lược đồ quan hệ. Tức là nếu X →Y ∈ F + , Y ∉ X thì X + = Ω. Từ định<br />
nghĩa trên có thể suy ra rằng:<br />
a) Các thuộc tính không khoá phụ thuộc hoàn toàn vào khoá.<br />
b) Các thuộc tính khoá phụ thuộc hoàn toàn vào tất cả khoá khác.<br />
Có thể định nghĩa cách khác như sau: s = được gọi là dạng chuẩn Boyce Codd, khi<br />
và chỉ khi mọi định thuộc là khoá của lược đồ quan hệ.<br />
Các khảng định sau là tương đương<br />
a) Nếu X → Y ∈ F + , Y ⊄ X khi đó X là khóa của lược đồ quan hệ.<br />
b) Nếu X → Y ∈ F + , Y ⊄ X khi đó X + = Ω.<br />
c) Mọi định thuộc là khoá của lược đồ quan hệ. (X là định thuộc khi và chỉ khi tồn<br />
tại Y ⊆ Ω sao cho X → Y ∈ F + là phụ thuộc đầy đủ).<br />
Định nghĩa dạng chuẩn 3NF và BCNF giống nhau trừ mệnh đề “ hoặc Y là một thuộc tính<br />
của khóa”. Điều này có nghĩa là nếu lược đồ quan hệ dạng chuẩn BCNF thì cũng là 3NF.<br />
Trong định nghĩa 3NF, loại trừ các thuộc tính không khóa phụ thuộc vào các thuộc tính có<br />
bao đóng khác Ω, còn trong định nghĩa BCNF thì loại trừ tất cả các thuộc tính phụ thuộc<br />
vào các thuộc tính có bao đóng khác Ω.<br />
Các dạng chuẩn lược đồ quan hệ lồng nhau, nghĩa là nếu lược đồ quan hệ dạng chuẩn<br />
BCNF thì cũng là dạng chuẩn 3NF, nếu đã là 3NF cũng là dạng chuẩn 2NF và nếu 2NF<br />
cũng là dạng chuẩn 1NF. Ký hiệu<br />
BCNF ⊂ 3NF ⊂ 2NF ⊂ 1NF.<br />
87
Change language