Bài giảng Hệ cơ sở dữ liệu: Chương cung cấp cho người học những kiến thức như: Các phép tách lược đồ quan hệ; Chuyển đổi mô hình thực thể liên kết sang mô hình quan hệ; Định nghĩa phép tách lược đồ quan hệ; Phép tách kết nối không tổn thất về BCNF; Phép tách bảo toàn phụ thuộc về 3NF. Mời các bạn cùng tham khảo! | CHƢƠN V. THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ Ở MỨC KHÁI NIỆM TS. Nguyễn Thị Kim Ngân Nội dung Dư thừa và dị thường dữ liệu Phụ thuộc hàm Hệ tiên đề Armstrong Bao đóng của tập thuộc tính Phủ của một tập PTH Xác định khóa của lược đồ quan hệ Chuẩn hóa lược đồ quan hệ Các phép tách lược đồ quan hệ Chuyển đổi mô hình thực thể liên kết sang mô hình quan hệ Các phép tách lược đồ quan hệ Định nghĩa phép tách lược đồ quan hệ Phép tách kết nối không tổn thất về BCNF Phép tách bảo toàn phụ thuộc về 3NF Các phép tách lược đồ quan hệ Định nghĩa phép tách lược đồ quan hệ Phép tách kết nối không tổn thất về chuẩn BCNF Phép tách bảo toàn phụ thuộc về chuẩn 3NF Định nghĩa phép tách lược đồ quan hệ Cho lược đồ quan hệ R U1 U2 Uk là các tập con của U sao cho U1 U2 Uk U Fi Ui F X Y X Y F X Y Ui i 1 . k Phép tách lược đồ R là việc thay thế R bằng các lược đồ con R1 R2 Rk Kí hiệu phép tách R1 R2 Rk hoặc U1 U2 Uk Phép tách kết nối không tổn thất Cho lược đồ quan hệ R r là một quan hệ bất kỳ trên R thỏa mãn F U1 U2 Uk là các tập con của U sao cho U U1 U2 Uk Fi Ui F X Y X Y F X Y Ui i 1 . k Ri i 1 . k ri Ui r i 1 . k Phép tách R thành R1 R2 Rk được gọi là tách kết nối không tổn thất Lossless Join Decomposition đối với tập phụ thuộc hàm F nếu r r1 r2 rk Phép tách kết nối không tổn thất Bổ đề Cho R là một lược đồ quan hệ r là một quan hệ trên R thỏa F U1 U2 Uk là các tập con của U sao cho U U1 U2 Uk Fi Ui F X Y X Y F X Y Ui i 1 . k Ri i 1 . k R1 R2 Rk là một phép tách của R ri Ui r i 1 . k m r r1 r2 rk Khi đó i r m r ii Nếu s m r thì Ui s ri i 1 . k iii m m r m r Kiểm tra tính kết nối không tổn thất của một phép tách Bài toán Cho lược đồ R trong đó U A1 A2 An là tập các thuộc tính F là tập các phụ thuộc hàm U1 U2 Uk là các tập con của U sao cho U1 U2 Uk U Kiểm tra phép tách U1 U2 Uk có phải là phép tách kết nối không tổn thất hay không Kiểm tra tính kết nối không tổn thất của một phép tách Thuật toán Vào U A1 A2 An F U1 U2 Uk Ra Kết luận có phải là phép tách kết nối không tổn thất hay không .
