Datalog và cơ sở dữ liệu suy diễn /
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...
Lưu vào:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English Vietnamese |
| Xuất bản : |
H. :
ĐHCN,
2005
|
| Thẻ: |
Thêm từ khóa
Không có thẻ nào, Hãy là người đầu tiên đánh dấu biểu ghi này!
|
| LEADER | 01570nam a2200217 4500 | ||
|---|---|---|---|
| 001 | dlc000060616 | ||
| 005 | 20150529105054.0 | ||
| 008 | 101207 000 0 eng d | ||
| 035 | |a VNU050069945 | ||
| 041 | |a vie | ||
| 044 | |a VN | ||
| 082 | |a 005.7 | ||
| 090 | |a 005.7 |b VU-S 2005 | ||
| 100 | 1 | |a Vũ, Hồng Sơn | |
| 245 | 1 | 0 | |a Datalog và cơ sở dữ liệu suy diễn / |c Vũ Hồng Sơn ; Nghd. : PGS. TS. Hồ Thuần |
| 260 | |a H. : |b ĐHCN, |c 2005 | ||
| 300 | |a 98 tr. + |e Đĩa CD-rom | ||
| 520 | |a 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. | ||
| 942 | |c LV | ||
| 999 | |c 1776 |d 1776 | ||
| 952 | |0 0 |1 0 |2 DDC |4 0 |6 005_700000000000000 |7 0 |9 15680 |a DL |b DL |c DL_LV |d 2011-05-19 |g 60000.00 |o 005.7 |p LV001444 |r 2014-07-12 |w 2014-07-12 |y LV | ||