Về các phụ thuộc hàm xấp xỉ trong mô hình dữ liệu dạng khối

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 ... mơ hình khối: Phụ thuộc hàm khối, phụ thuộc hàm xấp xỉ khối Chương Phát biểu chứng minh tính chất phụ thuộc hàm, xấp xỉ khối Mối quan hệ phụ thuộc hàm xấp xỉ khối lát cắt Phụ thuộc hàm xấp xỉ khối. .. 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