Dạng chuẩn BCNF (Boyce-Codd Normal Form)

- DEFAULT IDENTITY

5. 3.ALTER TABLE.(19)

7.3.4 Dạng chuẩn BCNF (Boyce-Codd Normal Form)

Định nghĩa: Một lược đồ quan hệ R được gọi là cĩ dạng chuẩn BCNF nếu nĩ ở

dạng chuẩn 3NF và khơng cĩ các thuộc tính khĩa phụ thuộc hàm vào thuộc tính khơng khĩa.

Hay nĩi cách khác: Quan hệ R ở dạng chuẩn BCNF khi tất cả các phụ thuộc hàm XA trong R đều phải cĩ X là khĩa của R.

Ví dụ: lược đồ R( A, B, C, D, E) với các phụ thuộc hàm

A, BC, D, E ; D  B.

Quan hệ này vi phạm dạng chuẩn BCNF vì thuộc tính khĩa B phụ thuộc hàm vào thuộc tính khơng khĩa D.

Nếu một lược đồ quan hệ khơng thỏa mãn điều kiện BCNF, ta cĩ thể chuẩn hĩa nĩ để nĩ cĩ được các lược đồ BCNF như sau: Loại bỏ các thuộc tính khĩa phụ thuộc hàm vào thuộc tính khơng khĩa ra khỏi quan hệ và tách chúng thành một quan hệ riêng cĩ khĩa chính là thuộc tính khơng khĩa gây ra phụ thuộc.

Áp dụng phương pháp chuẩn hĩa ở trên, lược đồ quan hệ tách ra như sau: R1(D, B)

R2(A, D, C, E).

Ví dụ: Cho lược đồ quan hệ R = (A, B, C, D, E, F, G, H, I, J) cĩ khĩa chính là A, B. Với tập các phụ thuộc hàm như sau;

A, B  C, D, E, F, G, H, I, J AE, F, G, H, I, J

FI, J DB.

Do cĩ phụ thuộc hàm AE, F, G, H, I, J mà A là bộ phận của khĩa chính nên quan hệ R là vi phạm chuẩn 2NF. Ta tách R ra:

R1(A, E, F, G, H, I, J) R2( A, B, C, D)

Trong R1 do cĩ phụ thuộc hàm FI, J nên ta cĩ I, J phụ thuộc bắc cầu vào khĩa chính, R1 vi phạm chuẩn 3NF. Trong đĩ R2 ta cĩ phụ thuộc hàm DB trong đĩ B là một thuộc tính khĩa, R2 vi phạm chuẩn BCNF. Tách R1 và R2 ta cĩ;

R11(F,I, J); R12(A, E, F, G, H); R21(D,B); R22(A, D, C).