Nghiên cứu Datalog trong mối quan hệ giữa logic và cơ sở dữ liệu
Tác giả: Trương, Công Tuấn; PGS.TS. Hồ, Thuần [ Người hướng dẫn 1]; PGS.TS. Lê, Mạnh Thạnh [ Người hướng dẫn 2].
Kiểu tài liệu:
SáchXuất bản: Hà Nội Viện Công nghệ Thông tin 2004Mô tả vật lý: 27tr.Số báo cáo: 1.01.10Chủ đề: Công nghệ thông tin | Datalog | Logic và CSDL | Toán họcGhi chú luận văn: Tóm tắt luận án Tiến sĩ Toán họcViện Công nghệ Thông tin Tóm tắt: Luận án gồm 3 chương. Chương 1: Khái quát về CSDL suy diễn và chương trình Datalog; Chương 2: Kết quả nghiên cứu về ngữ nghĩa của chương trình Datalog có chứa phủ định dựa trên logic 3-trị; Chương 3: Kết quả nghiên cứu về tối ưu hóa câu truy vấn với chương trình Datalog
| Kiểu tài liệu | Kho hiện tại | Ký hiệu phân loại | Trạng thái | Ghi chú | Ngày hết hạn | ĐKCB | Số lượng đặt mượn |
|---|---|---|---|---|---|---|---|
Luận án, Luận văn
|
Trung tâm Thông tin - Tư liệu
Trung tâm Thông tin - Tư liệu |
Sẵn sàng | Tóm tắt luận án | LA66/764 |
Tổng số đặt mượn: 0
Tóm tắt luận án Tiến sĩ Toán học
Viện Công nghệ Thông tin
Luận án gồm 3 chương. Chương 1: Khái quát về CSDL suy diễn và chương trình Datalog; Chương 2: Kết quả nghiên cứu về ngữ nghĩa của chương trình Datalog có chứa phủ định dựa trên logic 3-trị; Chương 3: Kết quả nghiên cứu về tối ưu hóa câu truy vấn với chương trình Datalog
Hiện tại chưa có bình luận nào về tài liệu này.