Tìm kiếm nâng cao
Loại tài liệu: Tài liệu số - Thesis
Tác giả: Đức, Thị Nhung
Nhà Xuất Bản: Đại học Sư phạm Hà Nội
Năm Xuất Bản: 2013
Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.
Trình bày khái quát về CSDL suy diễn và chương trình datalog, các phương pháp định giá khác nhau để trả lời truy vấn trong CSDL suy diễn. Phân tích phương pháp nhằm ngăn chặn các vòng lặp vô hạn khi tìm kiếm các lời giải của câu truy vấn đối với chương trình datalog bằng phương pháp định giá bảng và phương pháp ma tập. Nghiên cứu 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, phương pháp tối ưu hóa truy vấn theo kiểu từ trên xuống dưới, từ dưới lên trên
(Sử dụng ứng dụng Libol Bookworm quét QRCode này để mượn và đọc tài liệu)
(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "Libol Bookworm”)