Ngôn ngữ datalog

Bài giảng Datalog Ngôn ngữ luật cho các CSDL trình bày các nội dung: Hệ quản trị cơ sở dữ liệu suy diễn, các ngôn ngữ luật đối với các cơ sở dữ liệu, datalog, ngữ nghĩa của chương trình datalog, thủ tục đơn giản tính mô hình nhỏ nhất Tr,... Mời các bạn cùng tham khảo nội dung chi tiết bài giảng.

25p namthangtinhlang_00 28-10-2015 124 21   Download

Bài giảng Hệ quản trị cơ sở dữ liệu: Chương 5 Ngôn ngữ truy vấn dữ liệu trình bày về cho phép xử lý, trích rút DL từ CSDL, các loại ngôn ngữ, đại số quan hệ (tập các quan hệ) SQL, phép tính quan hệ bộ (tập các bộ), phép tính quan hệ miền (tập các miền) QBE: Sử dụng trong Access, giao diện đồ họa, Datalog: Cú pháp như Prolog.

32p thick_12 14-07-2014 111 22   Download

Đề thi CSDL NC K59 Câu 1: (2 điểm) Hãy nêu các ưu điểm của việc nhân bản và phân đoạn trong các hệ cơ sở dữ liệu phân tán. Câu 2: (4 điểm) Cho vị từ cha_mẹ(X,Y), với X là cha mẹ của Y, và các sự kiện sau: Cha_mẹ(Hùng, Dũng), cha_mẹ(Hùng, Bình), cha_mẹ(Bình, Mai), cha_mẹ(Dũng, Nam), cha_mẹ(Hà, Nam), cha_mẹ(Bình, Cường), cha_mẹ(Nam, Hoa). a) Hãy sử dụng ngôn ngữ Datalog để viết các luật định nghĩa các quan hệ sau: Tổ_tiên(X, Y): X là tổ tiên của Y. Anh_chị_em_ruột(X, Y): X là anh chị ruột của Y. Anh_chị_em_họ(X, Y): X...

2p thedaigiapro 01-12-2012 144 11   Download

Logic mô tả được xem là một phương pháp biểu diễn tri thức hiệu quả. Trong những ứng dụng cụ thể có sử dụng logic mô tả, tri thức của miền ứng dụng được đặc tả bằng các khái niệm và các mối quan hệ. Lĩnh vực ứng dụng của logic mô tả cũng rất đa dạng, ngay từ ban đầu logic mô tả đã được xem như là những ngôn ngữ với mục đích biểu diễn tri thức và suy diễn, vì thế nó phù hợp cho nhiều ứng dụng. Các ứng dụng của logic mô tả có thể...

84p cancer23 24-08-2012 274 82   Download

Hệ QTCSDL suy diễnTrước hết đó là một hệ QTCSDL: có ngôn ngữ DDL, DML Đem cho người dùng một giao diện có ngôn ngữ luật, cho phép: từ các quan hệ cơ sở (lưu trữ trong CSDL cài đặt) suy diễn ra những quan hệ mới (CSDL tiềm ẩn)

25p abcdef_12 17-07-2011 132 17   Download