Luận văn thạc sĩ nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog001

➤ 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: 75 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ĩ nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog001

Luận văn thạc sĩ nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog001

TRƯỞNG ĐẠI HỌC CÔNG NGHẸDoãn Thị Thúy HiềnNGHIÊN CỨULÝ THUYÉT XÂY DựNG co SỞ DỮ LIỆU SUY DIẺN VÀ NGÔN NGỮ DATALOGLl ÂN VĂN THẠC sỉ1ĐẠI HỌC QUÓC GIA HÀ

Luận văn thạc sĩ nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog001 À NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸDoãn Til ị Thủy HiềnNGHIÊN CỨU LÝ THUYẾT XÂY DỤNG co SỎ DỮ LIỆU SUY DIỄN VÀ NGỔN NGỮ DATALOGNgành: còng nghệ thông tin M

ả sổ: 1.01.10LUẬN VÀN THẠC sỉNGƯỜI HƯỚNG DẢN KHOA HỌC:TS. Nguyền Tuệ2MỤC LỤCMỜ ĐẨU............................................................1DANH MỤ Luận văn thạc sĩ nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog001

C CÁC THUẬT NGỪ........................................7CÁC HÌNH VÊ...................................................8CHƯƠNG I: LOGIC VÀ cơ SỜ DƯ LIỆ

Luận văn thạc sĩ nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog001

U..................................91.1Mờ đầu........................................................91.2Logic bậc một................................

Luận văn thạc sĩ nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog001 3Các dạng mệnh đề cua các công thức đóng..................141.3Cơ sở dữ liệu logic..........................................181.3.1Biếu diễn các sự ki

ện....................................181.3.2Các truy vấn và các ràng buộc toàn vẹn...................211.4Tính toán miền............................. Luận văn thạc sĩ nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog001

...................211.4.1 Các nguyên tắc cơ bàn.....................................211.4.2 Một số ví dụ về tinh miền................................

Luận văn thạc sĩ nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog001

.221.5Tính toán các bộ..............................................231.5.1Nguyên tắc tinh bộ.......................................241.5.2Một số ví d

Luận văn thạc sĩ nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog001 y diễn....................261.6.2Thuật toán hợp...........................................29