[giaban]0.000 VNĐ[/giaban]
[kythuat]
[/kythuat]
[tomtat]
[tomtat]
Phụ
thuộc logic trong cơ sở dữ liệu
Down tại đây or Down tại đây (File nén)
MỤC
LỤC
MỞ
ĐẦU
Chương
1. TỔNG
QUAN VỀ LÝ THUYẾT CƠ SỞ DỮ LIỆU QUAN HỆ
1.1
Các khái niệm cơ bản
1.1.1
Thuộc tính
1.1.2
Quan hệ n ngôi
1.1.3
Bộ
1.1.4
Lược đồ quan hệ
1.1.5
Khóa của một quan hệ
1.2
Phụ thuộc hàm
1.2.1
Khái niệm phụ thuộc hàm
1.2.2
Định nghĩa
1.2.3
Hệ luật dẫn Armstrong
1.2.4
Thuật toán tìm bao đóng của tập thuộc tính
1.2.5
Bài toán thành viên
1.2.6
Phủ tối thiểu của một tập phụ thuộc hàm
1.3
Khóa
1.3.1
Định nghĩa
1.3.2
Thuật toán tìm khóa
1.4
Kết chương
Chương
2. MỘT
SỐ KHÁI NIỆM CƠ SỞ TRONG PHỤ THUỘC BOOLE DƯƠNG
2.1
Các công thức Boole
2.2
Phụ thuộc Boole dương
2.2.1
Công thức Boole dương
2.2.2
Bảng chân lý của quan hệ
2.2.3
Phụ thuộc Boole dương
2.2.4
Một số tính chất của phụ thuộc Boole dương
2.2.5
Định lý tương đương
2.3
Bài toán suy dẫn cho lớp PTBD
2.4
Biểu diễn PTBD dưới dạng hội suy dẫn
2.4.1
Công thức suy dẫn
2.4.2
Bài toán biểu diễn PTBD dưới dạng hội suy dẫn
2.4.3
Tập TR của PTBD
2.4.4
Xây dựng tập PTBD từ quan hệ R cho trước
2.5
Kết chương
Chương
3. ỨNG
DỤNG LỚP PHỤ THUỘC BOOLE DƯƠNG GIẢI MỘT SỐ LỚP BÀI TOÁN
3.1
Bài toán thành viên
3.1.1
Phương pháp chứng minh một công thức là hằng đúng
3.1.2
Chuẩn hóa dạng chuẩn hội (CNF)
3.1.3
Phương pháp chứng minh công thức suy dẫn bằng phép hợp giải
3.2
Bài toán bao đóng
3.3
Một số thí dụ minh họa
3.4
Môi trường xây dựng chương trình
3.4.1
Phần cài đặt chương trình
3.4.2
Dữ liệu áp dụng cho chương trình
3.5
Kết quả đạt được
3.9
Kết chương
KẾT
LUẬN VÀ KIẾN NGHỊ HƯỚNG PHÁT TRIỂN
TÀI
LIỆU THAM KHẢO
PHỤ
LỤC
Bài viết liên quan
