Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn

và ngôn ngữ datalog : / Doãn Thị Thúy Hiền ; Nghd. : TS.

Nguyễn Tuệ . - H. : ĐHCN, 2008 . - 72 tr. + CD-ROM

MỤC LỤC
MỞ ĐẦU ............................................................................................................. 1

DANH MỤC CÁC THUẬT NGỮ.................................................................5

CÁC HÌNH VẼ..............................................................................................6
CHƯƠG I: LOGIC VÀ CƠ SỞ DỮ LIỆU ................................................... 7

1.1 Mở đầu ............................................................................................................................................... 7

1.2 Logic bậc một ................................................................................................................................. 8

1.2.1 Cú pháp của logic bậc một........................................................................8

1.2.2 Ngữ nghĩa của logic vị từ bậc một ..........................................................10
1.2.3 Các dạng mệnh đề của các công thức đóng .............................................12
1.3 Cơ sở dữ liệu logic ...................................................................................................................... 16

1.3.1 Biểu diễn các sự kiện...........................................................................16

1.3.2 Các truy vấn và các ràng buộc toàn vẹn ..................................................19
1.4 Tính toán miền .......................................................................................................................... 19

1.4.1 Các nguyên tắc cơ bản .........................................................................19

1.4.2 Một số ví dụ về tính miền .......................................................................20
1.5 Tính toán các bộ .......................................................................................................................... 21

1.5.1 Nguyên tắc tính bộ...............................................................................22

1.5.2 Một số ví dụ về tính bộ ...........................................................................22
1.6 Các kỹ thuật suy diễn ............................................................................................................... 24

1.6.1 Nguyên lý của một thuật toán suy diễn ...................................................24

1.6.2 Thuật toán hợp .....................................................................................27
1.6.3 Phương pháp giải .................................................................................27
1.7. Kết luận .......................................................................................................................................... 30

CHƯƠG II: CƠ SỞ DỮ LIỆU SUY DIỄ ................................................... 31

2.1 Mở đầu ............................................................................................................................................. 31

2.2 Các vấn đề của hệ quản trị cơ sở dữ liệu suy diễn ........................................... 31

2.2.1 Ngôn ngữ quy tắc (luật).......................................................................32

2.2.2 Mắc nối hoặc tích hợp .........................................................................33
2.2.3 Vị từ mở rộng và vị từ mục tiêu ..............................................................35
2.2.4 Kiến trúc kiểu của một Hệ quản trị CSDL tích hợp.................................36
2.3 gôn ngữ DATALOG .............................................................................................................. 38

2.3.1 Cú pháp của DATALOG ........................................................................38

2.3.2 Ngữ nghĩa của DATALOG.....................................................................45
2.3.2.1 Lý thuyết chứng minh ......................................................................45
2.3.2.2 Lý thuyết mô hình ............................................................................47
2.3.2.3 Lý thuyết điểm cố định.....................................................................48
2.3.2.4 Sự trùng hợp của các ngữ nghĩa .......................................................51
2.4. Sự mở rộng của DATALOG ........................................................................................... 52

2.4.1 Giả thuyết thế giới đóng .........................................................................53

2.4.2 Phủ định trong thân của các quy tắc........................................................54
2.4.3 Phủ định trong đầu quy tắc và cập nhật..................................................57
2.5 Tính giá trị của các truy vấn DATALOG..................................................................... 58

2.5.1 Thực hiện dưới lên..................................................................................58

2.5.2 Thực hiện trên xuống..............................................................................60
2.6 Đồ thị phụ thuộc vị từ (Predicate dependency graph): ......................................... 62

2.7 Tính giá trị các quy tắc đệ quy ........................................................................................... 64

2.7.1 Chiến lược ngây thơ (Naive strategy): ....................................................64

2.7.2 Chiến lược bán ngây thơ ( Seminaive strategy):......................................68
2.8 Kết luận chương ....................................................................................................................... 72

KẾT LUẬ ....................................................................................................... 73

TÀI LIỆU THAM KHẢO ................................................................................ 74