vietphuong151024
New Member
Luận văn: | Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog : Luận văn ThS. Công nghệ thông tin: 1 01 10 |
Nhà xuất bản: | ĐHCN |
Ngày: | 2008 |
Chủ đề: | Cơ sở dữ liệu Cơ sở dữ liệu suy diễn Ngôn ngữ datalog |
Miêu tả: | 72 tr. + CD-ROM Luận văn ThS. Công nghệ thông tin -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2008 Trình bày các khái niệm cơ sở của logic bậc một - ngôn ngữ nền tảng để biểu diễn một cơ sở dữ liệu logic, các tính toán bộ và tính toán miền là các hình thức hoá logic của các ngôn ngữ truy vấn các cơ sở dữ liệu quan hệ. Trình bày về ngôn ngữ các quy tắc trong cơ sở dữ liệu suy diễn, vấn đề phân chia hay tích hợp một động cơ suy diễn với một hệ quản trị cơ sở dữ liệu. Trình bày cụ thể về ngôn ngữ Datalog, cú pháp, ngữ nghĩa, sự mở rộng của Datalog, vấn đề tính giá trị của các truy vấn Datalog cũng như vấn đề tính giá trị của các quy tắc đệ quy Electronic Resources |
Kiểu: | text |
Định dạng: | text/pdf |
You must be registered for see links