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 -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2008
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
ĐHCN
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/42918 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | Vietnamese |
| id |
oai:112.137.131.14:VNU_123-42918 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-429182018-08-27T02:34:01Z Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ Datalog Doãn, Thị Thúy Hiền Nguyễn, Tuệ Logic Công nghệ thông tin Cơ sở dữ liệu logic Cơ sở dữ liệu suy diễn 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 Chương 1: Logic và cơ sở dữ liệu. 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ệ. Chương 2: Cơ sở dữ liệu suy diễn. 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. Chƣơng này cũng trình bày 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ủacác quy tắc đệ quy. Electronic Resources 2017-05-17T08:14:54Z 2017-05-17T08:14:54Z 2008 Thesis Doãn, T. T. H. (2008). 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 thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam. V_L0_01935 http://repository.vnu.edu.vn/handle/VNU_123/42918 vi Luận văn Ngành Công nghệ phần mềm (Full) 75 tr. + CD-ROM application/pdf ĐHCN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
Vietnamese |
| topic |
Logic Công nghệ thông tin Cơ sở dữ liệu logic Cơ sở dữ liệu suy diễn |
| spellingShingle |
Logic Công nghệ thông tin Cơ sở dữ liệu logic Cơ sở dữ liệu suy diễn Doãn, Thị Thúy Hiề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 |
| description |
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 |
| author2 |
Nguyễn, Tuệ |
| author_facet |
Nguyễn, Tuệ Doãn, Thị Thúy Hiền |
| format |
Theses and Dissertations |
| author |
Doãn, Thị Thúy Hiền |
| author_sort |
Doãn, Thị Thúy Hiền |
| title |
Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ Datalog |
| title_short |
Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ Datalog |
| title_full |
Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ Datalog |
| title_fullStr |
Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ Datalog |
| title_full_unstemmed |
Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ Datalog |
| title_sort |
nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog |
| publisher |
ĐHCN |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/42918 |
| _version_ |
1680965170197692416 |