Luận Văn NGHIÊN CỨU MỘT SỐ VẤN ĐỀ VỀ PHỤ THUỘC DỮ LiỆU VÀ KHAI PHÁ DỮ LiỆU TRONG CƠ SỞ DỮ LiỆU QUAN

MỤC LỤC
LỜI CAM ĐOAN 1
LỜI CẢM ƠN 2
TÓM TẮT 3
ABSTRACT . 4
DANH MỤC CÁC KÝ HIỆU, CÁC CHỮ VIẾT TẮT 7
DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ . 8
DANH MỤC CÁC BẢNG BIỂU . 9
MỞ ĐẦU 10
I. Mục tiêu nghiên cứu của đề tài 10
II. Một số kết quả đạt được .10
III. Bố cục của Luận văn .11
CHƯƠNG 1. TỔNG QUAN .12
1.1 Cơ sở dữ liệu .12
1.1.1 Các khái niệm chung 12
1.1.2 Định nghĩa 12
1.2 Phụ thuộc hàm .13
1.2.1 Định nghĩa 13
1.2.2 Tính chất của Phụ thuộc hàm (Hệ tiên đề Amstrong) 14
1.2.3 Bao đóng tập thuộc tính 15
1.2.4 Định lý tương đương .18
1.3 Khoá 19
CHƯƠNG 2. LỚP PHỤ THUỘC HÀM MỜ TRONG CƠ SỞ DỮ LIỆU QUAN
HỆ .21
2.1 Dữ liệu mờ 21
2.1.1 Tập rõ .21
2.1.2 Tập mờ .21
2.1.3 Các phép toán cơ bản trên tập mờ .22
2.2 Phụ thuộc hàm mờ .23
2.2.1 Định nghĩa 23
2.2.2 Tính chất .27
2.3 Xây dựng hệ tiên đề cho lớp Phụ thuộc hàm mờ ( Hệ tiên đề Amstrong
mở rộng) 29
CHƯƠNG 3. KHOÁ MỜ TRONG CƠ SỞ DỮ LIỆU QUAN HỆ 31
3.1 Khoá mờ .31
3.2 Bao đóng tập thuộc tính 31
3.2.1. Tính chất của bao đóng tập thuộc tính (X+ ) .32
3.2.2 Bài toán thành viên 33
3.2.3 Thuật toán tìm bao đóng .34
3.2.4 Tính đúng của thuật toán tìm bao đóng .37
3.3 Định lý tương đương cho tập mờ 41
3.3.1 Định nghĩa 42
3.3.2 Định nghĩa 42
3.3.3 Định lý .42
3.4 Thuật toán tìm khoá mờ 44
3.5 Các dạng chuẩn mờ 45
3.5.1 Dạng chuẩn mờ F1NF .45
3.5.2 Dạng chuẩn mờ F2NF .46
3.5.2.1 Xác định dạng chuẩn mờ F2NF .47
3.5.2.2 Đưa quan hệ về dạng chuẩn mờ F2NF .48
3.5.3 Dạng chuẩn mờ F3NF .50
3.5.4 Dạng chuẩn mờ Boyce Codd (FBCNF) 51
KẾT LUẬN .53
4.1 Ý nghĩa khoa học và thực tiễn của đề tài .53
4.2 Kết luận và kiến nghị 53
4.2.1 Kết luận .53
4.2.2 Hướng phát triển đề tài 54
TÀI LIỆU THAM KHẢO .55
PHỤ LỤC .57