tailieunhanh - Bài giảng Cơ sở dữ liệu - Chương 10: Phân rã lược đồ

Bài giảng "Cơ sở dữ liệu - Chương 10: Phân rã lược đồ" cung cấp cho người học các kiến thức: Mục đích phân rã lược đồ quan hệ, định nghĩa phân ra, phân rã thành BCNF, phân rã thành 3NF. nội dung chi tiết. | Phân rã lược đồ (Decomposition) Nội dung Mục đích của phân rã lược đồ quan hệ Mục đích của phân rã lược đồ quan hệ Tính chất của phân rã lược đồ Phân rã lược đồ – Decomposition Phân rã lược đồ – Decomposition Phân rã không mất mát thông tin ( Lossless decomposition) Phân rã không mất mát thông tin ( Lossless decomposition) Phân rã không mất mát thông tin ( Lossless decomposition) Phân rã kết nối không mất mát thông tin (Lossless-join decomposition) Phân rã không mất mát thông tin ( Lossless-join decomposition) Ví dụ phân rã kết nối không mất mát thông tin Thuật toán kiểm tra không mất mát thông tin ( Lossless-join decomposition) Thuật toán kiểm tra không mất mát thông tin ( Lossless-join decomposition) Thuật toán kiểm tra không mất mát thông tin ( Lossless-join decomposition) Thuật toán kiểm tra không mất mát thông tin ( Lossless-join decomposition) Thuật toán kiểm tra không mất mát thông tin ( Lossless-join decomposition) Thuật toán kiểm tra không mất mát thông tin ( Lossless-join decomposition) Thuật toán kiểm tra không mất mát thông tin ( Lossless-join decomposition) Thuật toán kiểm tra không mất mát thông tin ( Lossless-join decomposition) Phân rã nhị phân (Binary Decomposition) Phân rã nhị phân (Binary Decomposition) Phân rã nhị phân (Binary Decomposition) Phân rã nhị phân (Binary Decomposition) Phân rã bảo toàn phụ thuộc hàm Phân rã bảo toàn phụ thuộc hàm (Dependency-Preseving Decomposition) Phân rã bảo toàn phụ thuộc hàm Phân rã bảo toàn phụ thuộc hàm Ví dụ Ví dụ Phép chiếu của tập phụ thuộc hàm Ví dụ về phép chiếu tập FD Ví dụ về phép chiếu tập FD Thuật toán kiểm tra bảo toàn phụ thuộc hàm Thuật toán kiểm tra bảo toàn phụ thuộc hàm Thuật toán kiểm tra bảo toàn phụ thuộc hàm Thuật toán kiểm tra bảo toàn phụ thuộc hàm Phân rã lược đồ quan hệ Phân rã thành dạng chuẩn BC (hay chuẩn 3) bảo toàn thông tin Phân rã thành dạng chuẩn BC (hay chuẩn 3) bảo toàn thông tin Phân rã thành dạng chuẩn BC (hay chuẩn 3) bảo toàn thông tin Phân rã thành dạng chuẩn BC (hay chuẩn 3) bảo toàn thông tin Phân rã thành dạng chuẩn BC (hay chuẩn 3) bảo toàn thông tin Phân rã thành dạng chuẩn BC (hay chuẩn 3) bảo toàn thông tin Phân rã thành dạng chuẩn 3 vừa bảo toàn thông tin vừa bảo toàn phụ thuộc hàm Giải thuật phân rã BCNF Giải thuật phân rã BCNF Ví dụ 1 Ví dụ 1 Ví dụ 2 Ví dụ 2 Ví dụ 2 Nhận xét Tính chất của giải thuật phân rã BCNF Phân rã thành chuẩn 3NF Cách 1: Phân rã thành chuẩn 3NF Cách 1: Phân rã thành chuẩn 3NF (tt) Ví dụ: phân rã lược đồ thành 3NF Cách 2: dùng phương pháp synthesis Ví dụ dùng cách synthesis Tính chất của giải thuật phân rã 3NF Ví dụ Phân rã BCNF thông qua phân rã 3NF Thuật toán phân rã một lược đồ quan hệ thành các lược đồ con ở 3NF. Thuật toán phân rã một lược đồ quan hệ thành các lược đồ con ở 3NF. Thuật toán phân rã một lược đồ quan hệ thành các lược đồ con ở 3NF. Thuật toán phân rã một lược đồ quan hệ thành các lược đồ con ở 3NF. Thuật toán phân rã một lược đồ quan hệ thành các lược đồ con ở 3NF. Bài tập Bài tập Bài tập Bài tập