tailieunhanh - Bài giảng Cơ sở dữ liệu - Chương 6: Lý thuyết thiết kế CSDL

Bài giảng Cơ sở dữ liệu; Chương 6 - Lý thuyết thiết kế CSDL trình bày với người học khái niệm, định nghĩa phụ thuộc hàm, hệ tiền đề Amstrong, tính bao đóng, bao đóng của tập thuộc tính, phụ thuộc hàm tương đương và thuật toán tìm phủ tối thiểu. Mời bạn đọc tham khảo. | CSDL Chương 6 Lý Thuyết Thiết Kế Cơ Sở Dữ Liệu I. Khái Niệm Phụ thuộc Hàm 1. Định Nghĩa là khái niệm quan trọng nhất trong việc thiết kế cơ sở dữ liệu - cho quan hệ R trên tập thuộc tính U R U với U A1 A2 x y z là tập con của U x y ni it-mpi t t t .x t .y Ví dụ x masv y hoten ngaysinh x y 2. Hệ tiên đề Amstrong a. đ n hệ tiên đề amstrong Gọi R U là lược đồ quan hệ với U A-p. An là tập các thuộc tính. X Y Z W c U. Hệ tiên đề Armstrong bao gồm F1 Tính phản xạ Y c X X Y F2 Tính bắc cầu X Y Y Z X Z F3 Tính mở rộng hai vế tăng trưởng X Y Z c U XZ YZ Hệ tiên đề Armstrong là đúng. Có nghĩa là F là tập các phụ thuộc hàm đúng trên quan hệ R. Nếu X Y là một phụ thuộc hàm được suy dẫn từ F nhờ hệ tiên đề Armstrong thì X - Y là đúng trên quan hệ R. Bổ đề 2 F4 Cộng tính ở vế phảI luật hợp X Y X Z X YZ F5 Tính tựa bắc cầu giả bắc cầu X Y YZ W XZ W F6 Luật tách X YZ X Zvàx

TỪ KHÓA LIÊN QUAN