Thạc Sĩ Quy tắc Logic mô tả và ứng dụng trong cơ sở dữ liệu

MỤC LỤC
Nội dung Trang
LỜI CAM ĐOAN .1
LỜI CÁM ƠN .2
MỤC LỤC .3
DANH SÁCH CÁC BẢNG 6
DANH SÁCH CÁC HÌNH .6
LỜI GIỚI THIỆU 7
Chương 1. LOGIC MÔ TẢ .10
1.1. GIỚI THIỆU .10
1.2. NGÔN NGỮTHUỘC TÍNH AL .11
1.2.1. Ngôn ngữmô tảcơbản AL 11
1.2.2. Ngữnghĩa của các khái niệm AL .12
1.2.3. Họngôn ngữlogic mô tả AL 13
1.2.4. Ngôn ngữmô tảlà tập con của logic vịtừbậc nhất .15
1.3. HỆCƠSỞTRI THỨC .15
1.3.1. Kiến trúc hệlogic mô tả .15
1.3.2. Bộthuật ngữ(TBox) 16
1.3.2.1. Tiên đềthuật ngữ . 16
1.3.2.2. Định nghĩa khái niệm . 17
1.3.2.3. Mởrộng bộthuật ngữ 20
1.3.2.4. Đệquy 22
1.3.2.5. Thuật ngữvới các tiên đềbao hàm 22
1.3.3. Bộkhẳng định (ABox) .23
1.3.4. Cá thể 25
1.3.5. Suy luận 26
1.3.5.1. Lập luận đối với khái niệm 26
1.3.5.2 Loại trừTBox . 28
1.3.5.3. Lập luận đối với ABox 29
1.3.5.4. Ngữnghĩa “đóng”, ngữnghĩa “mở” 30
1.4. CÁC THUẬT TOÁN SUY LUẬN 33
1.4.1. Thuật toán bao hàm cấu trúc 33
1.4.2. Thuật toán tableau 35
1.5. MỞRỘNG NGÔN NGỮMÔ TẢ .41
1.5.1. Các constructor vai trò .41
1.5.2. Biểu diễn các giới hạn số .42
1.6. NGÔN NGỮDATALOG 42
1.6.1. Các khái niệm và thành phần của Datalog .43
1.6.2. Cú pháp của chương trình Datalog 44
1.7. TỔNG KẾT CHƯƠNG 46
Chương 2. SƠLƯỢC VỀCƠSỞDỮLIỆU .48
2.1. MÔ HÌNH THỰC THỂ- QUAN HỆ .48
2.2. MÔ HÌNH HƯỚNG ĐỐI TƯỢNG 52
2.3. TỔNG KẾT CHƯƠNG 56
Chương 3. CHUYỂN ĐỔI CƠSỞDỮLIỆU THÀNH CƠSỞTRI
THỨC CỦA LOGIC MÔ TẢ 57
3.1. MÔ HÌNH HOÁ LƯỢC ĐỒTHỰC THỂ- QUAN HỆ
BẰNG LOGIC MÔ TẢ 57
3.2. MỞRỘNG KHẢNĂNG BIỂU DIỄN CỦA NGÔN
NGỮMÔ HÌNH HOÁ .63
3.2.1. Tổng quát hoá thực thể .63
3.2.2. Lọc các tính chất thuộc một cấu trúc IS-A .64
3.3. BIỂU DIỄN MÔ HÌNH DỮLIỆU HƯỚNG ĐỐI
TƯỢNG BẰNG LOGIC MÔ TẢ .64
3.4. CHUYỂN DỮLIỆU TỪCƠSỞDỮLIỆU VÀO
ABOX CỦA LOGIC MÔ TẢ .66
3.5 TỔNG KẾT CHƯƠNG .72
Chương 4. TRUY VẤN 73
4.1. NGUYÊN TỬTRUY VẤN, ĐỐI TƯỢNG, CÁ THỂ
VÀ BIẾN 73
4.1.1. Nguyên tửtruy vấn khái niệm 73
4.1.2. Nguyên tửtruy vấn vai trò .74
4.2. TRUY VẤN PHỨC HỢP .75
4.3. HỖTRỢMÔ TẢ- ĐỊNH NGHĨA VÀ THUẬT TOÁN .76
4.4. TỔNG KẾT CHƯƠNG 78
KẾT LUẬN .79
CÁC THUẬT NGỮ 80
TÀI LIỆU THAM KHẢO .82