7. X→Y ⇔Y + ⊆ X+
5.6.DẠNG CHUẨN CỦA LƯỢC ĐỒ QUANHỆ
Khi thiết kế một hệ thống thông tin, thì việ c lập lược đồ CSDL đạt đến
một tiêu chuẩn nào đó là một việc làm quan trọ ng. Chất lượng của hệ thống
thông tin phụ thuộc rất nhiều vào lược đồ CSDL này. Việc xác định chuẩn cho
một lược đồ quan hệ có liên quan mật thiết với thuật toán tìm khoá. Có thể
Trường Trung cấp Kinh tế - Kỹ thuật Hà Nội I Giáo Trình Cơ Sở Dữ Liệu
Trang 70
khẳng định rằng thuật toán tìm khoá là một tron g những thuật toán quan trọng
của lý thuyết thiết kế cơ sở dữ liệu.
Chất lượng thiết kế của một lược đồ CSDL có thể được đánh giá dựa
trên nhiều tiêu chuẩn trong đó sự trùng lắp thôn g tin và chi phí kiểm tra các
ràng buộc toàn vẹn là hai tiêu chuẩn quan trọng. Sau đ ây là một số dạng chuẩn
để đánh giá mức độ tốt/xấu của một lược đồ cơ sở dữ liệu.
Trước hết, chúng ta cùng tìm hiểu một số khái ni ệm liên quan.
5.6.1.Một Số Khái Niệm Liên Quan Đến Các Dạ ng Chuẩn
Thuộc tính khoá/không khoá
A là một thuộc tính khoá nếu A có tham gia vào bất kỳ một khoá nào của
quan hệ, ngược lại A gọi là thuộc tính không khoá.
Ví dụ 5.10
Cho lược đồ quan hệ Q(ABC) và tập phụ thuộc hàm
F={ A→ B; A → C; B → A}
Có hai khóa là A và B. khi đó thuộc tính k hoá là A, B; thuộc tính không
khóa là: C.
Thuộc tính phụ thuộc đầy đủ- phụ thuộc hàm đầ y đủ.
A là một thuộc tính phụ thuộc đầy đủ vào t ập thuộc tính X nếu X →A là
một phụ thuộc hàm đầy đủ (tức là không tồn tại X' ⊂
X sao cho X' → A ∈ F+)
Ví dụ 5.10
Cho lược đồ quan hệ Q(ABC) và tập phụ thuộc hàm F={ A → B A→ C; AB → C } thì A → ;B A → C là các phụ thuộc hàm đầy đủ. Phụ thuộc hàm AB → C
Trường Trung cấp Kinh tế - Kỹ thuật Hà Nội I Giáo Trình Cơ Sở Dữ Liệu
Trang 71
Chú ý rằng, một phụ thuộc hàm mà vế trái chỉ có một thuộc tính là phụ
thuộc hàm đầy đủ.
5.6.2.Dạng Chuẩn Một (First Normal Form)
Lược đồ quan hệ Q được gọi là đạt dạng c huẩn 1 (1NF) nếu và chỉ nếu
toàn bộ các thuộc tính của Q đều mang giá trị đơn. Chẳng hạn xét quan hệ
Lược đồ quan hệ này không đạt dạng chuẩn 1 v ì các thuộc tính MONHOC,
DIEMTHI không mang giá trị đơn (chẳng hạn si nh viên Nguyễn Văn Thành có
thuộc tính môn học là Kỹ Thuật Lập Trình, Cơ Sở Dữ
Liệu, Cấu Trúc Dữ Liệu.
Ta hoàn toàn có thể đưa quan hệ trên về dạng ch uẩn 1 như sau:
Chú ý rằng nếu ta không nói gì thêm, thì l ược đồ quan hệ đang xét ít