Luận văn thạc sĩ 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: Luận văn thạc sĩ datalog và cơ sở dữ liệu suy diễn

Luận văn thạc sĩ 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 NGHẸVũ Hồng SơnDATALOGVÀCơ SỠ Dử LIỆU SUY DIẺNLUẬN VĂN THẠC siHà Nội-2005ĐẠI HỌC ọuõc GIA HÀ NỘI TRƯƠNG ĐẠ

Luận văn thạc sĩ datalog và cơ sở dữ liệu suy diễn ẠI HỌC C ÔNG NGHẸVũ Hồng SơnDATALOGVÀcơ 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..................................... Luận văn thạc sĩ 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 TÁ I .

Luận văn thạc sĩ datalog và cơ sở dữ liệu suy diễn

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

Luận văn thạc sĩ 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ương trin

h Datalog..........................91.2.1.Cơ sở dừ liệu suy điền..............................................91.2.2.Cú pháp của chương trinh Datalog. Luận văn thạc sĩ datalog và cơ sở dữ liệu suy diễn

....................................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.........................

Luận văn thạc sĩ 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 cỏ chử