Datalog và cơ sở dữ liệu suy diễn

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 98 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Datalog và cơ sở dữ liệu suy diễn

Datalog và cơ sở dữ liệu suy diễn

ĐẠI HỌC QUÕC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÓNG N GHỆVũ Hồng SơnDATALOG VÀCơ SỠ Dư LIẸƯ SUY DIÈNLUẬN VĂN THẠC' sìHà Nội- 2005ĐẠI HỌC Qưõc GIA HÂ NỘI TRƯỜN

Datalog và cơ sở dữ liệu suy diễn NG ĐÀI HỌC C ÔNG NGHẸVũ Hồng SơnDATALOGVÀCO SỞ DỮ LIỆU SUY DIẺN •Ngành: Công nghệ thông tinMã số: 1.01.10LUẬN VÃN THẠC sìNGƯỜI HƯỚNG DÀN KHOA HỌC: PGS

.TS. Hồ ThuầnHà Nội - 20051MỤC LỤCLỘI ('AM ĐOAN..................................Error! Bookmark not delined.LÒI CAM ƠN............................... Datalog và cơ sở dữ liệu suy diễn

......Error! Bookmark not defined.MỤCLỤC.........................................................................1DANH MỤC CÁC KÝ HIỆU CÁC CHÙ’ VIẼ I

Datalog và cơ sở dữ liệu suy diễn

TÁ I ......................................3DẠNH MỰC CÁCHĨNH VẼ.....................................................4MÕ DÂU...........................

Datalog và cơ sở dữ liệu suy diễn .....................................81.1.Ngôn ngừ cấp một (first order language).................................81.2.Cơ sớ dừ liệu suy diền và chươn

g trinh Datalog..........................91.2.1.Cơ sở dừ liệu suy điền..............................................91.2.2.Cú pháp của chương trinh Da Datalog và cơ sở dữ liệu suy diễn

talog.....................................1I1.2.3.Giã thiết thế giới dóng vã các tiếp cận dể xác định ngừ nghĩa chương trìnhDatalog...................

Datalog và cơ sở dữ liệu suy diễn

................................................161.2.4.Các thuật toán xác định ngữ nghĩa chương trinh Datalog.............191.3.Chương trinh Datalog

Datalog và cơ sở dữ liệu suy diễn ình bên vừng.........................................32