Dạng chuẩ n2 (2NF – Second Normal Form)

- DEFAULT IDENTITY

5. 3.ALTER TABLE.(19)

7.3.2 Dạng chuẩ n2 (2NF – Second Normal Form)

Dạng chuẩn 2NF dựa trên khái niệm phụ thuộc hàm đầy đủ. Một phụ thuộc hàm XY là một phụ thuộc hàm đầy đủ nếu loại bỏ bất kỳ thuộc tính A nào ra khỏi X thì phụ thuộc hàm khơng cịn đúng nữa. Điều đĩ cĩ nghĩa là: Với thuộc tính A bất kỳ, AX, (X- {A} Y.

Một phụ thuộc hàm XY là phụ thuộc hàm bộ phận nếu cĩ thể bỏ một thuộc tính A X ra khỏi X mà phụ thuộc hàm này vẫn đúng cĩ nghĩa là với

AX, (X-{A}) Y Ví dụ: xét lược đồ quan hệ Ví dụ: xét lược đồ quan hệ

Nhanvienduan(MaNV,MaDA,sogio,TenNV,TenDA,DiadiemDA) Khi đĩ:

MaNV,MaDA sogio là phụ thuộc hàm đầy đủ.

MaNV,MaDATenNV là phụ thuộc hàm bộ phận bởi vì cĩ phụ thuộc hàm MaNVTenNV.

Định nghĩa: Một quan hệ ở dạng chuẩn 2 nếu:

- Quan hệ đĩ ở dạng chuẩn 1

- Tất cả các thuộc tính khơng phải là khĩa phụ thuộc đầy đủ vào khĩa.

Nếu một quan hệ khơng thỏa mãn điều kiện 2NF ta cĩ thể chuẩn hĩa nĩ để cĩ các quan hệ 2NF như sau: Loại bỏ các thuộc tính khơng khĩa phụ thuộc vào một bộ phận khĩa chính và tách thành một bảng riêng, khĩa chính của bảng này là bộ phận khĩa mà chúng phụ thuộc vào. Các thuộc tính cịn lại lập thành một quan hệ, khĩa chính của nĩ là khĩa chính ban đầu.

Ví dụ: Xét lược đồ quan hệ Nhanvienduan(MaNV,MaDA,sogio,TenNV,TenDA,DiadiemDA) Với các phụ thuộc hàm: MaNV,MaDAsogio MaNVTenNV MaDATenDA,DiadiemDA.

Ta nhận thấy ở đây cĩ những thuộc tính khơng khĩa phụ thuộc vào bộ phận của khĩa chính . Như vậy, nĩ khơng thỏa mãn điều kiện 2NF.

Áp dụng phương pháp chuẩn hĩa trên, lược đồ quan hệ được tách thành các lược đồ sau: N_D1 (MaDA,TenDA,DiadiemDA);

N_D2 (MaNV,TenNV); N_D3 (MaNV,MaDA,sogio).