Đăng nhập

Hãy chọn một cách để đăng nhập

Hoặc tiếp tục với email

Nhớ mật khẩu

Chưa có tài khoản? Đăng ký

Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog

75 726 0

Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

1

/ 75 trang

Thông tin tài liệu

. văn là: “ 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 gồm hai chƣơng: 6 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. một cách rõ ràng theo kiểu cơ sở dữ liệu quan hệ, cơ sở dữ liệu suy diễn còn lƣu giữ các luật có khả năng suy diễn dựa trên các dữ liệu đã lƣu. Cơ sở dữ liệu suy diễn là sản phẩm tự nhiên của. 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Ĩ 2 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ Doãn Thị Thúy Hiền NGHIÊN CỨU LÝ THUYẾT

Ngày đăng: 25/03/2015, 09:55

Xem thêm: Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog, Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog, CHƯƠNG I: LOGIC VÀ CƠ SỞ DỮ LIỆU, 3 Cơ sở dữ liệu logic, 5 Tính toán các bộ, 6 Các kỹ thuật suy diễn, CHƯƠNG II: CƠ SỞ DỮ LIỆU SUY DIỄN, 2 Các vấn đề của hệ quản trị cơ sở dữ liệu suy diễn, 5 Tính giá trị của các truy vấn DATALOG, 7 Tính giá trị các quy tắc đệ quy

Từ khóa liên quan

Mục lục

MỤC LỤC
MỞ ĐẦU
DANH MỤC CÁC THUẬT NGỮ
CÁC HÌNH VẼ
CHƯƠNG I: LOGIC VÀ CƠ SỞ DỮ LIỆU
1.1 Mở đầu
1.2 Logic bậc một
1.2.1 Cú pháp của logic bậc một
1.2.2 Ngữ nghĩa của logic vị từ bậc một
1.2.3 Các dạng mệnh đề của các công thức đóng
1.3 Cơ sở dữ liệu logic
1.3.1 Biểu diễn các sự kiện
1.3.2 Các truy vấn và các ràng buộc toàn vẹn
1.4 Tính toán miền
1.4.1 Các nguyên tắc cơ bản
1.4.2 Một số ví dụ về tính miền
1.5 Tính toán các bộ
1.5.1 Nguyên tắc tính bộ
1.5.2 Một số ví dụ về tính bộ
1.6 Các kỹ thuật suy diễn

Trích đoạn

Nguyên lý của một thuật toán suy diễn

Sự trùng hợp của các ngữ nghĩa

Giả thuyết thế giới đóng

Phủ định trong thân của các quytắc

Phủ định trong đầu quytắc và cập nhật

Thực hiện trên xuống

thị phụ thuộc vị từ (Predicate dependency graph):

Kết luận chƣơng

Tài liệu cùng người dùng

Đang cập nhật ...

Tài liệu liên quan

Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog
75 726 0
Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog
3 355 2
Báo cáo nghiên cứu khoa học:" XÂY DỰNG CƠ SỞ DỮ LIỆU QUẢN LÝ RÁC THẢI Ở THÀNH PHỐ ĐÀ NẴNG DƯỚI SỰ TRỢ GIÚP CỦA GIS" potx Báo cáo nghiên cứu khoa học:" XÂY DỰNG CƠ SỞ DỮ LIỆU QUẢN LÝ RÁC THẢI Ở THÀNH PHỐ ĐÀ NẴNG DƯỚI SỰ TRỢ GIÚP CỦA GIS" potx
6 744 6
Đề tài nghiên cứu khoa học xây dựng cơ sở dữ liệu và sách điện tử tra cứu các tính chất vật lý của đá và một số loại quặng ở việt nam Đề tài nghiên cứu khoa học xây dựng cơ sở dữ liệu và sách điện tử tra cứu các tính chất vật lý của đá và một số loại quặng ở việt nam
7 632 1
Nghiên cứu khoa học Xây dựng cơ sở dữ liệu và phân tích mô hình cho website quản lý bán hàng Méo Shop Nghiên cứu khoa học Xây dựng cơ sở dữ liệu và phân tích mô hình cho website quản lý bán hàng Méo Shop
51 966 1
Nghiên cứu giải pháp xây dựng cơ sở dữ liệu nền địa lý đa tỷ lệ từ bản đồ địa hình Nghiên cứu giải pháp xây dựng cơ sở dữ liệu nền địa lý đa tỷ lệ từ bản đồ địa hình
80 12 0
Nghiên cứu giải pháp xây dựng cơ sở dữ liệu nền địa lý đa tỷ lệ từ bản đồ địa hình 1 10 000 phục vụ quản lý tài nguyên và môi trường tỉnh quảng ngãi Nghiên cứu giải pháp xây dựng cơ sở dữ liệu nền địa lý đa tỷ lệ từ bản đồ địa hình 1 10 000 phục vụ quản lý tài nguyên và môi trường tỉnh quảng ngãi
80 10 0
THUYẾT MINH ĐỀ TÀI NGHIÊN CỨU KHOA HỌC “Xây dựng cơ sở dữ liệu tư vấn quy hoạch, kỹ thuật trồng và chăm sóc nhằm quản lý, bảo vệ và phát triển rừng trên địa bàn tỉnh Quảng Trị” THUYẾT MINH ĐỀ TÀI NGHIÊN CỨU KHOA HỌC “Xây dựng cơ sở dữ liệu tư vấn quy hoạch, kỹ thuật trồng và chăm sóc nhằm quản lý, bảo vệ và phát triển rừng trên địa bàn tỉnh Quảng Trị”
21 14 0
Tính chịu trách nhiệm của Chính phủ: - Đổi mới tổ chức và hoạt động của chính phủ trong điều ki Tính chịu trách nhiệm của Chính phủ: - Đổi mới tổ chức và hoạt động của chính phủ trong điều ki
- 123
- 20.000
- 5.000
Tỷ lệ bê, nghé tiêu chảy và chết do tiêu chảy theo lứa tuổi tại Sơn La Tỷ lệ bê, nghé tiêu chảy và chết do tiêu chảy theo lứa tuổi tại Sơn La
- 123
- 20.000
- 5.000
thành thục của đất - Nghiên cứu một số cơ sở khoa học nhằm đề xuất các giải pháp kỹ thuật gây t thành thục của đất - Nghiên cứu một số cơ sở khoa học nhằm đề xuất các giải pháp kỹ thuật gây t
- 123
- 20.000
- 5.000
Tổ chức chính quyền tỉnh từ khi có Luật Tổ chức Hội đồng nhân dân và Ủy ban nhân dân năm 2003 đến nay Tổ chức chính quyền tỉnh từ khi có Luật Tổ chức Hội đồng nhân dân và Ủy ban nhân dân năm 2003 đến nay
- 123
- 20.000
- 5.000