[giaban]0.000 VNĐ[/giaban]
[kythuat]
[/kythuat]
[tomtat]
[tomtat]
Hệ
suy dẫn và ứng dụng
MỤC
LỤC
MỞ
ĐẦU
Chương
1. Một số khái niệm cơ bản về CSDL quan hệ và ánh xạ đóng
1.1.
Khái niệm về cơ sở dữ liệu quan hệ
1.2.
Phụ thuộc hàm
1.2.1.
Khái niệm phụ thuộc hàm
1.2.2.
Lược đồ quan hệ
1.2.3.
Bao đóng của tập phụ thuộc hàm
1.2.4.
Định lý tương đương
1.2.5.
Bao đóng của tập thuộc tính
1.2.6.
Bài toán thành viên
1.3.
Khóa và phản khóa của lược đồ quan hệ
1.3.1.
Khóa của lược đồ quan hệ
1.3.2.
Cách xác định khóa của một quan hệ
1.3.3.
Phản khóa của lược đồ quan hệ
1.4.
Dạng chuẩn của lược đồ quan hệ
1.5.
Ánh xạ đóng
1.5.1.
Các khái niệm và tính chất của ánh xạ đóng
1.5.2.
Hội các ánh xạ đóng
1.5.3.
Điểm bất động của ánh xạ đóng
1.5.4.
Hạn chế của ánh xạ đóng
1.5.5.
Cơ sở của ánh xạ đóng
1.5.6.
Phản cơ sở ánh xạ đóng
1.5.7.
Ứng dụng phép toán hợp thành
1.6.
Hệ sinh ánh xạ đóng
1.6.1.
Định nghĩa hệ sinh
1.6.2.
Định lý cho hệ sinh ánh xạ đóng
1.7.
Thu gọn hệ sinh ánh xạ đóng
1.7.1.
Định nghĩa thu gọn hệ sinh ánh xạ đóng
1.7.2.
Định lý về biểu diễn ánh xạ đóng theo phép thu gọp hệ sinh
1.7.3.
Hệ quả về công thức tính ảnh cho một tập
1.8.
Biểu diễn cơ sở hệ sinh ánh xạ đóng
1.8.1.
Cơ sở của hệ sinh
1.8.2.
Hai dạng biểu diễn cơ sở của hệ sinh ánh xạ đóng
1.8.3.
Thuật toán tìm cơ sở của hệ sinh ánh xạ đóng
1.8.4.
Một dạng biểu diễn phản khóa của lược đồ quan hệ
1.9.
Kết chương
Chương
2. Hệ suy dẫn và ứng dụng
2.1.
Hệ suy dẫn
2.1.1.
Định nghĩa
2.1.2.
Các quy tắc suy dẫn
2.2.
Các dạng toán của hệ suy dẫn
2.2.1.
Dạng toán 1
2.2.2.
Dạng toán 2
2.2.3.
Các thí dụ
2.2.3.1.
Thí dụ dạng toán 1
2.2.3.2.
Thí dụ dạng toán 2
2.3.
Kết chương
Chương
3. Chương trình thực nghiệm
3.1.
Giới thiệu
3.2.Các
lớp đối tượng của chương trình
3.3.
Chức năng chính của chương trình
3.4.
Kết chương
KẾT
LUẬN VÀ HƯỚNG PHÁT TRIỂN
TÀI
LIỆU THAM KHẢO
Bài viết liên quan
