Dạng chuẩn 3 (3NF)

Một phần của tài liệu Một số vấn đề liên quan đến dạng chuẩn trong hệ cơ sở dữ liệu tính bao đóng của một tập các thuộc tính trên tập các phụ thuộc hàm đối với sơ đồ quan hệ (Trang 59 - 61)

Một quan hệ (hay một thực thể) đã là 2NF được xem là dạng chuẩn được xem là dạng chuẩn 3NF nếu tất cả các phụ thuộc hàm giữa khóa chính và các thuộc tính của nó đều là trực tiếp.

Ngày tháng Mã hàng Ngày tháng Mã hàng Tổng Thanh toán Tên hàng Đơn giá

Mã hàng Tên hàng Đơn giá

T1 Đài đĩa 2000 T3 Quạt 300 T6 Phích 100 T2 Bàn là 150 T4 Máy bơm 1500 T9 Nồi cơm 400 Ta chọn khóa chính của thực thể HÀNG HÓA là Mã hàng Số lượng

Hay nói cách khác, mọi thuộc tính không nằm trong khóa chính đều không phụ thuộc hàm vào một thuộc tính không phải là khóa chính.

Cũng đối với dạng chuẩn 2, định nghĩa ở chương 2 rõ ràng là chặt chẽ hơn vì nó đòi hỏi mọi thuộc tính không phải là khóa mà phải phụ thuộc hàm trực tiếp vào mọi khóa tối tiểu điều này cũng khó lòng thực hiện và thật không cần thiết khi quan hệ đã được gắn chặt với mọi thực thể trong thực tế.

Để phân rã các quan hệ chưa ở dạng chuẩn 3 thành các quan hệ ở dạng chuẩn 3 ta phải qua các bước sau:

- Tìm khóa chính của quan hệ, giả sử tập khóa chính là K - Tìm ra các phụ thuộc bắc cầu vào khóa chính dạng

K X, X Y trong đó Y là một thuộc tính các phụ thuộc

hàm đều không tầm thường, nghĩa là X ⊆ K, Y ∉ X, Y ∉ K

- Nếu tìm thấy phụ thuộc hàm bắc cầu như trên sẽ tách quan hệ thành XY và R\ Y

- Kiểm tra với các sơ đồ con xem đã ở dạng chuẩn 3NF hay chưa, nếu chưa lại thực hiện tách tiếp như bước trên.

Bây giờ chúng ta lại tiếp tục khảo xát xem các file dữ liệu con đó có phải là dạng chuẩn 3NF hay không, nếu file dữ liệu con nào đó không phải là 3NF thì ta lại tách file dữ liệu con thành các file dữ liệu con 3NF. Dựa trên định nghĩa dạng chuẩn 3NF và nghĩa của các cột chúng ta thấy rằng file dữ liệu DOANH SỐ và file dữ liệu SỐ LƯỢNG là dạng chuẩn 3NF.

Như vậy file dữ liệu HÀNG HÓA không là 3NF bởi vì chúng ta có thể thấy rằng theo định nghĩa của cột Tên hàng thì Tên hàng xác định duy nhất Đơn giá.

Như vậy chúng ta thấy rằng trong sơ đồ biểu diễn của file dữ liệu HÀNG HOÁ, ta thấy trên đồ thị của các phụ thuộc hàm có hai con đường để đi từ , 'Mã hàng' đến ' Đơn giá' hoặc đi qua thuộc tính tên hàng.

Điều này chứng tỏ thực thể HÀNG HÓA chưa là 3NF, dẫn đến trùng lặp đơn giá của tên hàng. Để là dạng chuẩn 3NF, ta tách nó thành hai thực thể riêng biệt:

HÀNG MẶT HÀNG Mã hàng Tên hàng T1 Đài đĩa T3 Quạt T6 Phích T2 Bàn là T4 Máy bơm T9 Nồi cơm

Ta chọn khóa chính là Mã hàng Ta chọn khóa chính là Tên hàng

Như vậy từ file dữ liệu HÓA ĐƠN là 1NF ta có thể tách ra các file dữ liệu DOANH SỐ, KHỐI LƯỢNG, HÀNG, MẶT HÀNG ở dạng chuẩn 3NF.

Các file dữ liệu này đảm bảo rằng không có phụ thuộc bắc cầu và không có phụ thuộc bộ phận.

Một phần của tài liệu Một số vấn đề liên quan đến dạng chuẩn trong hệ cơ sở dữ liệu tính bao đóng của một tập các thuộc tính trên tập các phụ thuộc hàm đối với sơ đồ quan hệ (Trang 59 - 61)