Nghiên cứu phương pháp ma tập đối với chương trình Datalog và Datalog dạng tuyển

Tìm hiểu cơ sở dữ liệu suy diễn và chương trình Datalog, Datalog dạng tuyển. Nghiên cứu, ứng dụng phương pháp ma tập đối với chương trình Datalog; Phương pháp ma tập đối với chương trình Datalog dạng tuyển; Phương pháp ma tập động đối với các truy vấn đệ quy hữu hạn.

Ghi chú: Tài liệu toàn văn liên hệ theo địa chí:
Email: thuviendhkh@gmail.com
ĐT: 054 3822440 – 054 3832447