Nghiên cứu ngữ nghĩa mô hình bền vững đối với cơ sở dữ liệu suy diễn dạng tuyển

Trình bày các khái niệm CSDL suy diễn dạng tuyển và các cách tiếp cận ngữ nghĩa của CSDL suy diễn dạng tuyển. Nghiên cứu và giới thiệu về hệ thống lập trình logic dạng tuyển DLV và cài đặt một số bài toán minh họa trên hệ thống DLV.

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