BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƢỜNG ĐẠI HỌC SƢ PHẠM HÀ NỘI NGUYỄN NĂNG HƢNG VỀ CÁC PHỤ THUỘC HÀM XẤP XỈ TRONG MƠ HÌNH DỮ LIỆU DẠNG KHỐI LUẬN VĂN THẠC SĨ MÁY TÍNH HÀ NỘI, 2014 LỜI CẢM ƠN Tôi xin chân thành cảm ơn tri ân sâu sắc đến PGS.TS Trịnh Đình Thắng tận tình hướng dẫn, giúp đỡ tơi q trình nghiên cứu, hồn thành luận văn Tơi xin chân thành cảm ơn Trường Đại học Sư phạm Hà Nội quý Thầy Cô giáo Lãnh đạo giảng viên, cán trường tạo điều kiện thuận lợi cho học tập, nghiên cứu bảo vệ luận văn Cảm ơn gia đình người thân ủng hộ, động viên, khích lệ, chia sẻ với tơi suốt trình học tập, nghiên cứu TÁC GIẢ LUẬN VĂN NGUYỄN NĂNG HƢNG LỜI CAM ĐOAN Tôi xin cam đoan Luận văn: “Về phụ thuộc hàm xấp xỉ mơ hình liệu dạng khối” cơng trình nghiên cứu riêng thân Các số liệu luận văn trung thực, trích dẫn có tính kế thừa, phát triển từ tài liệu, tạp chí, cơng trình nghiên cứu, nước giới Xây dựng chương trình tính tốn phụ thuộc hàm xấp xỉ mơ hình liệu dạng khối chương trình tơi tự viết Khơng sử dụng mã nguồn mở có sẵn TÁC GIẢ NGUYỄN NĂNG HƢNG MỤC LỤC Trang phụ bìa Lời cảm ơn i Lời cam đoan ii Mục lục iii Danh mục ký hiệu, chữ viết tắt vi Danh mục bảng vii Danh mục hình vẽ, đồ thị viii MỞ ĐẦU i CHƢƠNG 1: MÔ HÌNH CƠ SỞ DỮ LIỆU QUAN HỆ xiv 1.1 Thuộc tính, quan hệ, đại số quan hệ xiv 1.1.1 Thuộc tính miền thuộc tính xiv 1.1.2 Quan hệ, lược đồ quan hệ xiv 1.2 Các phép toán đại số quan hệ xvi 1.2.1 Phép hợp xvi 1.2.2 Phép giao xvi 1.2.3 Phép trừ xvii 1.2.4 Tích Đề-các xvii 1.2.5 Phép chiếu xviii 1.2.6 Phép chọn xix 1.2.7 Phép kết nối xx 1.2.8 Phép chia xxi 1.3 Phụ thuộc hàm xxi 1.4 Bao đóng xxiii 1.4.1 Bao đóng tập phụ thuộc hàm xxiii 1.4.2 Bao đóng tập thuộc tính tập phụ thuộc hàm xxiii 1.5 Khoá quan hệ xxiii 1.6 Phụ thuộc hàm lớp tƣơng đƣơng xxiv 1.6.1 Sự phân hoạch xxiv 1.6.2 Phân hoạch mịn xxvi 1.6.3 Một số tính chất phụ thuộc hàm lớp tương đương xxvii 1.7 Phụ thuộc hàm xấp xỉ xxviii 1.8 Bao đóng tập phụ thuộc hàm xấp xỉ xxxiii 1.9 Khoá xấp xỉ xxxiii 1.10 Một số Tính chất phụ thuộc hàm xấp xỉ lƣợc đồ quan hệ [9] xxxv CHƢƠNG 2: MƠ HÌNH CƠ SỞ DỮ LIỆU DẠNG KHỐI xxxviii 2.1 Khối, lƣợc đồ khối xxxviii 2.2 Lát cắt xxxix 2.3 Đại số quan hệ khối xl 2.3.1 Phép hợp xl 2.3.2 Phép giao xli 2.3.3 Phép trừ xli 2.3.4 Tích Đề xli 2.3.5 Tích Đề theo tập số xli 2.3.6 Phép chiếu xlii 2.3.7 Phép chọn xlii 2.3.8 Phép kết nối xliii 2.3.9 Phép chia xliv 2.4 Phụ thuộc hàm xliv 2.5 Các tính chất phụ thuộc hàm lƣợc đồ khối xlv CHƢƠNG 3: PHỤ THUỘC HÀM XẤP XỈ TRONGMƠ HÌNH DỮ LIỆU DẠNG KHỐI xlix 3.1 Phụ thuộc hàm xấp xỉ mô hình liệu khối xlix 3.2 Mối quan hệ phụ thuộc hàm xấp xỉ khối phụ thuộc hàm xấp xỉ lát cắt liii 3.4 Một số tính chất lvi 3.5 Cài đặt lx KẾT LUẬN 54 TÀI LIỆU THAM KHẢO 55 PHỤ LỤC 58 DANH MỤC CÁC CHỮ VIẾT TẮT Từ viết tắt Tiếng Anh Tiếng Việt CSDL Database Cơ sở liệu FDs Functional Dependencies Các phụ thuộc hàm AFDs Approximate Functional Dependencies Các phụ thuộc hàm xấp xỉ DANH MỤC CÁC BẢNG STT Tên bảng Trang Bảng 1.1:Biểu diễn quan hệ r Bảng 1.2: Bảng liệu sinh viên Bảng 1.3: Biểu diễn quan hệ r, s quan hệ r× s Bảng 1.4: Bảng liệu quan hệ 16 Bảng 1.5: Bảng liệu thuộc tính giá trị số 21 Bảng 3.1: Bảng biểu diễn khối liệu 48 DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ STT Tên hình vẽ Trang Hình 2.1: Biểu diễn khối nhân viên NV(R) 30 HHình 3.1: Biểu diễn khối sinhviên1 Hình 3.2: Khối liệu 41 48 MỞ ĐẦU Lý chọn đề tài Để xây dựng hệ thống sở liệu tốt, người ta thường sử dụng mơ hình liệu thích hợp Đã có số mơ hình sử dụng hệ thống cở sở liệu như: mơ hình thực thể - liên kết, mơ hình mạng, mơ hình phân cấp, mơ hình hướng đối tượng, mơ hình liệu datalog mơ hình quan hệ Trong số mơ hình này, có ba mơ hình liệu hay sử dụng mơ hình phân cấp, mơ hình mạng mơ hình quan hệ Đối với ba mơ hình này, mơ hình quan hệ quan tâm cả, xây dựng sở tốn học chặt chẽ Tuy nhiên, quan hệ có cấu trúc phẳng (tuyến tính) nên mơ hình chưa đủ đáp ứng ứng dụng phức tạp, sở liệu có cấu trúc phi tuyến tính Trong năm gần đây, việc nghiên cứu nhằm mở rộng mơ hình liệu quan hệ nhiều nhà khoa học quan tâm Theo hướng nghiên cứu mơ hình xem mở rộng mơ hình liệu quan hệ đề xuất mơ hình liệu dạng khối Tuy nhiên mơ hình xây dựng nên chưa hoàn thiện quan tâm nghiên cứu, xem [7], [8], [9], [12] tài liệu dẫn Với mong muốn tìm hiểu sâu kiến thức học, mối quan hệ ứng dụng mô hình liệu dạng khối, đặc biệt phụ thuộc hàm xấp xỉ, chọn đề tài “Về phụ thuộc hàm xấp xỉ mơ hình liệu dạng khối” để nghiên cứu Mục đích nghiên cứu Nghiên cứu tính chất phụ thuộc hàm xấp xỉ mơ hình liệu dạng khối nhằm góp phần hồn chỉnh lý thuyết mơ hình liệu dạng khối ... bày phụ thuộc hàm mơ hình liệu dạng khối tính chất phụ thuộc hàm mơ hình liệu quan hệ - Trình bày phụ thuộc đa trị, phụ thuộc đa trị xấp xỉ mơ hình liệu dạng khối - Trình bày phụ thuộc hàm xấp xỉ. .. 2.4 Phụ thuộc hàm xliv 2.5 Các tính chất phụ thuộc hàm lƣợc đồ khối xlv CHƢƠNG 3: PHỤ THUỘC HÀM XẤP XỈ TRONGMƠ HÌNH DỮ LIỆU DẠNG KHỐI xlix 3.1 Phụ thuộc hàm xấp xỉ mô hình. .. mơ hình liệu dạng khối 3 Nhiệm vụ nghiên cứu Tìm hiểu phụ thuộc hàm xấp xỉ, nghiên cứu tính chất phụ thuộc hàm xấp xỉ mơ hình liệu dạng khối Đồng thời nghiên cứu mối quan hệ phụ thuộc xấp xỉ khối