Đang chuẩn bị liên kết để tải về tài liệu:
TÁCH – KẾT NỐI KHÔNG TỔN THẤT THÔNG TIN

Mục tiêu của lý thuyết CSDL là tính độc lập của dữ liệu. Cấu trúc lưu trữ các hệ cơ sở dữ liệu phản ảnh tính hiện thực, khách quan và tính toàn vẹn dữ liệu. Vì vậy trong quá trình chuẩn hoá dữ liệu và tìm kiếm thông tin, | Họe viên Nhóm 4 - lớp CH10CNK2 Giảng viên TS.Phạm Thế Quế Mụe lụe Mụe lụe.1 1. Mở đầu.2 2. Phép tách - kết nối không tốn thất thông tin.2 2.1 Phép tách.2 2.2. Phép chiếu.2 2.3. Phép nối tự nhiên.3 2.4 Tách - kết nối tự nhiên.3 2.5 Phép tách không tốn thất thông tin.3 3. Thuật toán kiếm tra táeh không tốn thất thông tin.5 3.1 Thuật toán.5 3.2 Định lý.6 4. Phép tách bảo toàn phụ thuộe hàm.8 5. Thuật toán kiếm tra bảo toàn phụ thuộe hàm.9 5.1. Thuật toán tìm bao đóng eủa tập thuộe tính.9 5.2. Thuật toán kiếm tra bảo toàn phụ thuộe hàm.10 6. Kết luận.10 7. Tài liệu tham khảo .10 Họe viên Nhóm 4 - lớp CH10CNK2 Giảng viên TS.Phạm Thế Quế TÁCH - KẾT NỐI KHÔNG TỔN THẤT THÔNG TIN Giảng viên TS.Phạm Thế Quế Họe viên Đo Anh Tuấn Lớp CH10CNK2 1. Mở đầu Mụe tiêu của lý thuyết CSDL là tính độe lập eủa dữ liệu cấu true lưu trữ eáe hệ eơ sở dữ liệu phản ảnh tính hiện thựe kháeh quan và tính toàn vẹn dữ liệu Vì vậy trong quá trình chuấn hoá dữ liệu và tìm kiếm thông tin eần thiết phải thựe hiện eáe phép táeh lượe đồ quan hệ ehưa ehuấn hoá về tập eáe lượe đồ quan hệ ehiếu đã đượe ehuấn hoá sao cho quá trình tách không làm tốn thất thông tin lossless- mất mát thông tin theo nghĩa eáe quan hệ gốe đượe khôi phụe ehính xáe từ phép kết nối tự nhiên của eáe quan hệ ehiếu Tách - kết nối eáe lượe đồ quan hệ eó làm tốn thất thông tin hay không eó bảo toàn các phụ thuộe hay không đã đượe nhiều người quan tâm nghiên cứu giải quyết A V. Ho C.Beeri J.D. Ullman giới thiệu thuật toán xáe định phép kết nối eáe lượe đồ quan hệ không eó tốn thất thông tin với giả thiết eáe phụ thuộe dữ liệu là các phụ thuộe hàm. Các ông cũng đã mở rộng vấn đề này eho eáe trường hợp phụ thuộe dữ liệu là phụ thuộe đa trị 2. Phép tách - kết nối không tổn thất thông tin 2.1 Phép tách Cho s A F là một lượe đồ quan hệ trong đó A A1 A. A là tập eáe thuộe tính và F là tập eáe phụ thuộe hàm. Gọi A1 A2 A là một phép táeh hay còn gọi là một phân hoạeh eủa S A F nếu a A Í A. i l-p b A A1 È. È Ap c Fi F Ai Kni F X Y e F XY Í Ai i