Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog
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 t (...)...
Saved in:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Theses and Dissertations |
| 語言: | Vietnamese |
| 出版: |
ĐHCN
2017
|
| 主題: | |
| 在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/42304 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Vietnam National University, Hanoi |
| 語言: | Vietnamese |