Chương trình datalog

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 112 22   Download

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 125 21   Download

Báo khoa học: Một số cải tiến đối với phép biến đổi ma tập để tối ưu hóa câu truy vấn trên chương trình Datalog tập trung thảo luận một số vấn đề liên quan đến phép biến đổi ma tập và đề xuất một số cải tiến nhằm nâng cao hiệu quả của nó trong việc tối ưu câu truy vấn trên chương trình Datalog.

8p toughhorse70 29-10-2014 87 11   Download

Kết quả chính của bài báo là tập trung xây dựng thuật toán song song tìm đường đi ngắn nhất từ một đỉnh đến tất cả các đỉnh dựa trên thuật toán tuần tự Dijkstra. Ý tưởng của thu ật toán là sử dụng m bộ xử lý tìm đường đi ngắn nhất từ một đỉnh đến tất cả các đỉnh trên trên đồ thị. Trong m bộ xử lý chọn một bộ xử lý đóng vai trò trung tâm thực hiện việc quản lý dữ liệu, chia n đỉnh và ma trận trọng số của đồ thị cho m bộ xử lý để tìm đường đi ngắn nhất.

11p toughhorse70 29-10-2014 83 8   Download

Ngày nay, những thành công trong việc áp dụng logic vào hệ thống cơ sở dữ liệu để xử lý thông tin đang được nhiều nhà tin học quan tâm, đặc biệt là vấn đề tìm lời giải tối ưu của chương trình logic nói chung và datalog nói riêng. Ở lĩnh vực này, các ứng dụng về dự báo thời tiết, chẩn đoán bệnh... đang ngày một đặt ra nhiều yêu cầu mới như tốc độ xử lý, khối lượng công việc thực hiện. ...

22p meomeongon 06-01-2012 85 8   Download