Hiển thị đơn giản Hiển thị MARC Hiển thị ISBD

Trần, Nguyên Phong

Ngữ nghĩa chương trình Datalog có phủ định trong thân quy tắc : Luận văn Thạc sĩ ngành Công nghệ Thông tin / Trần Nguyên Phong - Hà Nội : Trường ĐHBK Hà Nội, 2001 - 72 tr.

Luận văn Thạc sĩ ngành Công nghệ Thông tin--Trường ĐHBK Hà nội, Hà Nội, 2001

Chương trình logic và cơ sỏ dữ liệu suy diễn. Mô hình dữ liệu datalog, ngữ nghĩa chương trình Datalog có phủ định trong thân quy tắc. Một số phương pháp tiếp cận xác định ngữ nghĩa phủ định trong CSDL suy diễn không xác định.

Subjects--Topical Terms:
Chương trình Datalog
cơ sở dữ liệu suy diễn
hệ toán tử

Subjects--Index Terms: Demo Dữ liệu Demo Koha Việt Nam

LC Class. No.: QA76 / .TR121P 2001