Luận văn 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.

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.