Thạc Sĩ Phát triển các phụ thuộc Boole dương trong cơ sở dữ liệu

Chương 1

CƠ SỞ LÝ THUYẾT

1.1. Các định nghĩa cơ bản 3

1.1.1. Cơ sở dữ liệu 3

1.1.2. Cơ sở dữ liệu quan hệ 3

1.1.3. Hệ quản trị cơ sở dữ liệu 3

1.2. Mệnh đề logic 4

1.3. Phụ thuộc hàm 6

1.3.1. Định nghĩa phụ thuộc hàm 6

1.3.2. Hệ tiên đề Armstrong 7

1.3.3. Bao đóng của tập phụ thuộc hàm 7

1.3.4. Các phép suy dẫn 7

1.3.5. Lược đồ quan hệ 9

1.3.6. Phụ thuộc mạnh, yếu và đối ngẫu 9

1.4. Bao đóng của tập thuộc tính 10

1.4.1. Định nghĩa bao đóng của tập thuộc tính 10

1.4.2. Thuật toán tìm bao đóng của tập thuộc tính 10

1.4.3. Bài toán thành viên 11

1.5. Phủ 12

1.5.1. Định nghĩa phủ 12

1.5.2. Phủ không dư 13

1.6. Khóa của lược đồ quan hệ 14

1.7. Giàn giao 14

Chương 2

CÁC PHỤ THUỘC BOOLE DƯƠNG

2.1. Các công thức Boole 18

2.1.1. Công thức Boole 18

2.1.2. Trị của công thức Boole 18

2.1.3. Công thức Boole dương 21

2.1.4. Bảng trị và bảng chân lý 21

2.2. Phụ thuộc Boole dương 24

2.2.1. Bảng chân lý của quan hệ 24

2.2.2. Định nghĩa phụ thuộc Boole dương 26

2.2.3. Các suy dẫn 27

2.2.4. Định lý tương tương 30

2.2.5. Dạng chuẩn tắc 31

2.3. Phụ thuộc Boole dương tổng quát 34

2.3.1. Bảng chân lý của quan hệ 34

2.3.2. Định nghĩa phụ thuộc Boole dương tổng quát 38

2.3.3. Các suy dẫn 40

2.3.4. Định lý tương tương 40

2.3.5. Bài toán thành viên 41

Chương 3

THỂ HIỆN CÁC PHỤ THUỘC BOOLE DƯƠNG

3.1. Công thức suy dẫn 54

3.1.1. Các định nghĩa 54

3.1.2. Thuật toán Closed& 57

3.1.3. Thuật toán DF 60

3.2. Thể hiện phụ thuộc hàm 65

3.2.1. Các định nghĩa 65

3.2.2. Các định lý 67

3.2.3. Thuật toán FD 68

3.2.4. Tương quan giữa các thể hiện 70

3.3. Xây dựng quan hệ Armstrong cho phụ thuộc hàm 73

3.3.1. Định nghĩa quan hệ Armstrong 73

3.3.2. Thuật toán Armstrong 73

3.4. Thể hiện phụ thuộc Boole dương tổng quát 76

Chương 4

CÀI ĐẶT THUẬT TOÁN

4.1. Cài đặt thuật toán Clause_Proof 80

4.2. Cài đặt thuật toán FD 81

4.3. Cài đặt thuật toán Armstrong 81

KẾT LUẬN VÀ KIẾN NGHỊ

1. Kết luận 82

2. Kiến nghị 82

TÀI LIỆU THAM KHẢO 83