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
Tác giả: Trần, Nguyên Phong.
Đồng tác giả: Lê, Mạnh Thanh [Người hướng dẫn].
Vật mang tin: SáchXuất bản: Hà Nội : Trường ĐHBK Hà Nội, 2001Mô tả vật lý: 72 tr.Chủ đề: Chương trình Datalog | cơ sở dữ liệu suy diễn | hệ toán tử | Demo | Dữ liệu Demo | Koha Việt NamPhụ chú luận văn: 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 Tóm tắt: 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.Kiểu tài liệu | Thư viện lưu trữ | Ký hiệu phân loại | Trạng thái | Ngày hết hạn | Đăng ký cá biệt | Đặt mượn |
---|---|---|---|---|---|---|
Luận án - Luận văn |
HN Library
HN Library |
QA76 TR121P | Sẵn sàng | 0000000755 | ||
Luận án - Luận văn |
HN Library
HN Library |
QA76 TR121P | Sẵn sàng | 0000000756 |
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.
Hiện tại chưa có bình luận của bạn đọc về tài liệu này.