Đồ Á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 hệ

TÓM TẮT
Lớp phụ thuộc dữ liệu đóng vai trò rất quan trọng trong quá trình thiết kế cơ sở dữ liệu thì và một trong những lớp phụ thuộc dữ liệu đầu tiên là lớp phụ thuộc hàm. Ngày nay, việc mở rộng lớp phụ thuộc hàm này (mờ hoá) đang được nghiên cứu và tiếp cận theo nhiều hướng khác nhau. Với mục tiêu nghiên cứu về việc mở rộng này cũng như các khái niệm liên quan, trong đề tài nghiên cứu đã tìm hiểu sâu về phụ thuộc dữ liệu và trình bày các nội dung liên quan đến lớp phụ thuộc hàm mờ (fuzzy functional dependency), bao đóng tập thuộc tính và thuật toán tìm bao đóng tập thuộc tính mờ (fuzzy transitive closure), khoá mờ (fuzzy key) và thuật toán tìm khoá mờ, các dạng chuẩn mờ trong CSDL quan hệ. Bên cạnh đó đề tài cũng đã nghiên cứu về việc mở rộng một trong những định lý quan trọng nhất của việc nghiên cứu CSDL đó là định lý tương đương.





ABSTRACT
Data dependency plays a very important role in the process of designing the database and one of the first data dependency class is the functional dependency. Today, the expansion of the functional dependency (fuzzy functional dependency) are being studied and approached in several ways. With the objective of researching on the expansion of functional dependency and related concepts, my thesis focus on researching about data dependency, fuzzy functional dependency, fuzzy transitive closure and the algorithm for finding fuzzy transitive closure of attributes , fuzzy key and the algorithm of finding fuzzy keys in relational database. Besides, my thesis also focuses on researching about the expansion of one of the most important theorems of rational database
– the equivalence theorem.





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