Link tải luận văn miễn phí cho ae Kết Nối
Trình bày khái quát về Cơ sở dữ liệu (CSDL) suy diễn và chương trình Datalog. Nêu và phân tích, làm rõ đặc trưng, ý nghĩa của mỗi cách tiếp cận khác nhau để trả lời câu hỏi truy vấn trong CSDL suy diễn. Giới thiệu các phương pháp nhằm ngăn chặn các vòng lặp vô hạn khi tìm kiếm lời giải của câu truy vấn đối với Datalog bằng phương pháp định giá bảng cũng như thuật toán định giá chương trình Datalog theo các thành phần liên thông mạnh đã được phân tích, xem xét. Trình bày, phương pháp biến đổi ma tập và thảo luận một số hạn chế của phép biến đổi ma tập. Từ đó, có được sự cải tiến thuật toán ma tập trên một số lớp con của chương trình Datalog và chương trình Datalog tuyến tính
Luận văn ThS. Công nghệ thông tin -- Trường Đại học công nghệ. Đại học Quốc gia Hà Nội, 2005
CHƢƠNG 1. KHÁI QUÁT VỀ CƠ SỞ DỮ LIỆU SUY DIỄN VÀ CHƢƠNG TRÌNH
DATALOG................................................................................................................................8
1.1. Ngôn ngữ cấp một (first order language) ...................................................................8
1.2. Cơ sở dữ liệu suy diễn và chƣơng trình Datalog.......................................................9
1.2.1. Cơ sở dữ liệu suy diễn...........................................................................................9
1.2.2. Cú pháp của chƣơng trình Datalog ....................................................................11
1.2.3. Giả thiết thế giới đóng và các tiếp cận để xác định ngữ nghĩa chƣơng trình
Datalog.............................................................................................................................16
1.2.4. Các thuật toán xác định ngữ nghĩa chƣơng trình Datalog ..............................19
1.3. Chƣơng trình Datalog có chứa phủ định ..................................................................25
1.3.1. Ngữ nghĩa mô hình hoàn hảo .............................................................................25
1.3.2. Ngữ nghĩa mô hình bền vững.............................................................................32
1.4. Kết luận ........................................................................................................................34
CHƢƠNG 2. TỐI ƢU CÂU TRUY VẤN ĐỐI VỚI CHƢƠNG TRÌNH DATALOG 36
2.1. Định giá câu truy vấn theo kiểu trên xuống (top-down) ........................................36
2.2. Định giá câu truy vấn theo kiểu trên xuống có sử dụng kỹ thuật ghi nhớ ...........37
2.2.1. Định giá SLD .......................................................................................................38
2.2.2. Định giá bảng ......................................................................................................40
2.3. Định giá câu truy vấn theo kiểu dƣới lên (bottom-up) ..........................................45
2.3.1. Thuật toán định giá câu truy vấn theo phƣơng pháp dƣới lên ......................47
2.3.2. Thuật toán định giá chƣơng trình Datalog theo các thành phần liên thông
mạnh ................................................................................................................................48
2.4. Định giá câu truy vấn theo cách kết hợp trên xuống và dƣới lên ........................53
2.5. Một số nhận xét so sánh về các phƣơng pháp định giá bảng và ma tập ..............55
2.6. Kết luận ........................................................................................................................56
CHƢƠNG 3. PHƢƠNG PHÁP MA TẬP...........................................................................57
3.1. Phƣơng pháp ma tập ..................................................................................................57
3.1.1. Tô điểm ................................................................................................................57
3.1.2. Truyền thông tin sang ngang .............................................................................58
3.1.3. Phép biến đổi ma tập (Magic set transformation) ...........................................60
3.1.4. Phƣơng pháp ma tập ...........................................................................................61
3.2. Cải tiến phƣơng pháp ma tập trên một số lớp con của chƣơng trình Datalog.....62
3.2.1. Phƣơng pháp ma tập cải tiến trên chƣơng trình Datalog tuyên tính phải .....62
3.2.2. Phép biến đổi ma tập trên chƣơng trình Datalog không đệ qui ....................66
3.3. Phƣơng pháp ma tập cải tiến .....................................................................................70
3.3.1. Thuật toán tổ điểm chƣơng trình ......................................................................71
3.3.2. Tối ƣu bƣớc tô điểm chƣơng trình ....................................................................75
3.3.3. Cải tiến việc thực thi chƣơng trình Mag_P ad ...................................................77
3.3.4. Phƣơng pháp ma tập cải tiến .............................................................................82
3.4. Kết luận ........................................................................................................................83
KẾT LUẬN .............................................................................................................................84
TÀI LIỆU THAM KHẢO .....................................................................................................85
PHỤ LỤC ................................................................................................................................88
KẾT LUẬN
Luận văn nghiên cứu về chƣơng trình Datalog trong mối quan hệ giữa logic và
CSDL suy diễn. Các vấn đề đƣợc trình bày trong luận văn là:
Phân tích chi tiết hai phƣơng pháp chính nhằm ngăn chặn các vòng lặp vô hạn
trong quá trình tìm kiếm lời giải của câu truy vấn đối với chƣơng trình Datalog
là phƣơng pháp định giá bảng và phƣơng pháp biến đổi ma tập.
Xây dựng thuật toán định giá chƣơng trình Datalog theo các thành phần liên
thông mạnh.
Thuật toán ma tập cải tiến trên hai lớp con của chƣơng trình Datalog là chƣơng
trình Datalog tuyến tính phải và chƣơng trình không đệ qui.
Thuật toán ma tập cải tiến trên chƣơng trình Datalog.
Các vấn đề có thể tiếp tục nghiên cứu:
Nghiên cứu CSDL suy diễn theo cách tiếp cận hƣớng đối tƣợng.
Sử dụng logic mờ trong việc nghiên cứu ngữ nghĩa trong CSDL suy diễn.
Do Drive thay đổi chính sách, nên một số link cũ yêu cầu duyệt download. các bạn chỉ cần làm theo hướng dẫn.
Password giải nén nếu cần: ket-noi.com | Bấm trực tiếp vào Link để tải:
Trình bày khái quát về Cơ sở dữ liệu (CSDL) suy diễn và chương trình Datalog. Nêu và phân tích, làm rõ đặc trưng, ý nghĩa của mỗi cách tiếp cận khác nhau để trả lời câu hỏi truy vấn trong CSDL suy diễn. Giới thiệu các phương pháp nhằm ngăn chặn các vòng lặp vô hạn khi tìm kiếm lời giải của câu truy vấn đối với Datalog bằng phương pháp định giá bảng cũng như thuật toán định giá chương trình Datalog theo các thành phần liên thông mạnh đã được phân tích, xem xét. Trình bày, phương pháp biến đổi ma tập và thảo luận một số hạn chế của phép biến đổi ma tập. Từ đó, có được sự cải tiến thuật toán ma tập trên một số lớp con của chương trình Datalog và chương trình Datalog tuyến tính
Luận văn ThS. Công nghệ thông tin -- Trường Đại học công nghệ. Đại học Quốc gia Hà Nội, 2005
CHƢƠNG 1. KHÁI QUÁT VỀ CƠ SỞ DỮ LIỆU SUY DIỄN VÀ CHƢƠNG TRÌNH
DATALOG................................................................................................................................8
1.1. Ngôn ngữ cấp một (first order language) ...................................................................8
1.2. Cơ sở dữ liệu suy diễn và chƣơng trình Datalog.......................................................9
1.2.1. Cơ sở dữ liệu suy diễn...........................................................................................9
1.2.2. Cú pháp của chƣơng trình Datalog ....................................................................11
1.2.3. Giả thiết thế giới đóng và các tiếp cận để xác định ngữ nghĩa chƣơng trình
Datalog.............................................................................................................................16
1.2.4. Các thuật toán xác định ngữ nghĩa chƣơng trình Datalog ..............................19
1.3. Chƣơng trình Datalog có chứa phủ định ..................................................................25
1.3.1. Ngữ nghĩa mô hình hoàn hảo .............................................................................25
1.3.2. Ngữ nghĩa mô hình bền vững.............................................................................32
1.4. Kết luận ........................................................................................................................34
CHƢƠNG 2. TỐI ƢU CÂU TRUY VẤN ĐỐI VỚI CHƢƠNG TRÌNH DATALOG 36
2.1. Định giá câu truy vấn theo kiểu trên xuống (top-down) ........................................36
2.2. Định giá câu truy vấn theo kiểu trên xuống có sử dụng kỹ thuật ghi nhớ ...........37
2.2.1. Định giá SLD .......................................................................................................38
2.2.2. Định giá bảng ......................................................................................................40
2.3. Định giá câu truy vấn theo kiểu dƣới lên (bottom-up) ..........................................45
2.3.1. Thuật toán định giá câu truy vấn theo phƣơng pháp dƣới lên ......................47
2.3.2. Thuật toán định giá chƣơng trình Datalog theo các thành phần liên thông
mạnh ................................................................................................................................48
2.4. Định giá câu truy vấn theo cách kết hợp trên xuống và dƣới lên ........................53
2.5. Một số nhận xét so sánh về các phƣơng pháp định giá bảng và ma tập ..............55
2.6. Kết luận ........................................................................................................................56
CHƢƠNG 3. PHƢƠNG PHÁP MA TẬP...........................................................................57
3.1. Phƣơng pháp ma tập ..................................................................................................57
3.1.1. Tô điểm ................................................................................................................57
3.1.2. Truyền thông tin sang ngang .............................................................................58
3.1.3. Phép biến đổi ma tập (Magic set transformation) ...........................................60
3.1.4. Phƣơng pháp ma tập ...........................................................................................61
3.2. Cải tiến phƣơng pháp ma tập trên một số lớp con của chƣơng trình Datalog.....62
3.2.1. Phƣơng pháp ma tập cải tiến trên chƣơng trình Datalog tuyên tính phải .....62
3.2.2. Phép biến đổi ma tập trên chƣơng trình Datalog không đệ qui ....................66
3.3. Phƣơng pháp ma tập cải tiến .....................................................................................70
3.3.1. Thuật toán tổ điểm chƣơng trình ......................................................................71
3.3.2. Tối ƣu bƣớc tô điểm chƣơng trình ....................................................................75
3.3.3. Cải tiến việc thực thi chƣơng trình Mag_P ad ...................................................77
3.3.4. Phƣơng pháp ma tập cải tiến .............................................................................82
3.4. Kết luận ........................................................................................................................83
KẾT LUẬN .............................................................................................................................84
TÀI LIỆU THAM KHẢO .....................................................................................................85
PHỤ LỤC ................................................................................................................................88
KẾT LUẬN
Luận văn nghiên cứu về chƣơng trình Datalog trong mối quan hệ giữa logic và
CSDL suy diễn. Các vấn đề đƣợc trình bày trong luận văn là:
Phân tích chi tiết hai phƣơng pháp chính nhằm ngăn chặn các vòng lặp vô hạn
trong quá trình tìm kiếm lời giải của câu truy vấn đối với chƣơng trình Datalog
là phƣơng pháp định giá bảng và phƣơng pháp biến đổi ma tập.
Xây dựng thuật toán định giá chƣơng trình Datalog theo các thành phần liên
thông mạnh.
Thuật toán ma tập cải tiến trên hai lớp con của chƣơng trình Datalog là chƣơng
trình Datalog tuyến tính phải và chƣơng trình không đệ qui.
Thuật toán ma tập cải tiến trên chƣơng trình Datalog.
Các vấn đề có thể tiếp tục nghiên cứu:
Nghiên cứu CSDL suy diễn theo cách tiếp cận hƣớng đối tƣợng.
Sử dụng logic mờ trong việc nghiên cứu ngữ nghĩa trong CSDL suy diễn.
Do Drive thay đổi chính sách, nên một số link cũ yêu cầu duyệt download. các bạn chỉ cần làm theo hướng dẫn.
Password giải nén nếu cần: ket-noi.com | Bấm trực tiếp vào Link để tải:
You must be registered for see links
Last edited by a moderator: