Chương trình datalog
-
Bài báo 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. Mời các bạn cùng tham khảo nội dung chi tiết.
8p thiendiadaodien_5 08-01-2019 36 2 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 124 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 83 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 81 8 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
-
Phân tích một số phương pháp xử lý vòng lặp vô hạn trong quá trình ước lượng câu truy vấn đối với chương trình datalog. Từ "Cybernétique" đã được biết đến và dùng trước đó, năm 1834 bởi nhà vật lý André - Marie Ampère (1775 -1836) để chỉ khoa học về Chính phủ trong hệ thống phân loại của ông về kiến thức của con người. Còn ban đầu nó cũng được nhà triết học Hy Lạp Platon sử dụng để nói về Quy luật cai trị, lãnh đạo con người. Từ cầm quyền (govern) và thống đốc (governor)...
9p butmaucam 27-08-2013 80 5 Download
-
Phân tích một số phương pháp xử lý vòng lặp vô hạn trong quá trình ước lượng câu truy vấn đối với chương trình datalog. Những ý tưởng cơ bản của điều khiển học đã và đang được các môn khoa học, công nghệ khác sử dụng lại và tiếp tục ảnh hưởng đến sự phát triển chung của nền khoa học công nghệ nhân loại. Tiền tố "Cyber", “Online”, “E-” đang hiện diện ở khắp nơi, tràn ngập cuộc sống hiện đại như tượng trưng cho sự giao lưu thông tin phong phú và tràn ngập trong văn hoá. ...
10p butmaucam 27-08-2013 90 5 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 80 7 Download