» Từ khóa: chuong trinh datalog

Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...

 5 p husc 17/03/2016 390 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn

Trình bày một số ký hiệu, khái niệm cơ sở. Giới thiệu chương trình Datalog an toàn và ràn buộc hữu hạn. Một số thuật toán định giá đối với chương trình Datalog trên cơ sở dữ liệu vô hạn. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 6 p husc 01/04/2015 291 1 Download

Từ khóa: Tin học, chương trình Datalog, thuật toán định giá, cơ sở dữ liệu vô hạn.

Tìm hiểu về chương trình Datalog dạng tuyển. Định nghĩa hình thức datalog dạng tuyển với các ràng buộc mạnh – yếu, ngữ nghĩa mô hình của chương trình Datalog dạng tuyển với các dạng tuyển mạnh và yếu. Nghiên cứu chương trình Datalog dạng tuyển với các ràng buộc mạnh và yếu được sử dụng để biểu diễn các bài toán thuộc nhiều lĩnh vực khác...

 5 p husc 27/03/2015 352 2 Download

Từ khóa: Tin học, chương trình Datalog, Datalog dạng tuyển

Tìm hiểu các thuật toán (Naive, Semi-naive), các thuật toán cải tiến hiện có và nghiên cứu một số phương pháp để tìm ngữ nghĩa mô hình của chương trình Datalog. Nghiên cứu các phương pháp tìm ngữ nghĩa của chương trình Datalog trong các trường hợp đặc biệt - tuyến tính; phân tầng địa phương. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

 6 p husc 27/03/2015 235 2 Download

Từ khóa: Tin học, Thuật toán, Chương trình Datalog, Datalog

Nghiên cứu cơ sở lý luận về chương trình Datalog mờ và ngữ nghĩa của chương trình Datalog mờ theo tiếp cận điểm bất động. Phương pháp định giá truy vấn đối với chương trình Datalog mờ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 26/03/2015 229 1 Download

Từ khóa: Tin học, Chương trình Datalog mờ, Phương pháp định giá truy vấn

Tìm hiểu cơ sở dữ liệu suy diễn và chương trình Datalog, Datalog dạng tuyển. Nghiên cứu, ứng dụng phương pháp ma tập đối với chương trình Datalog; Phương pháp ma tập đối với chương trình Datalog dạng tuyển; Phương pháp ma tập động đối với các truy vấn đệ quy hữu hạn. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí:...

 5 p husc 25/03/2015 245 1 Download

Từ khóa: Tin học, Cơ sở dữ liệu suy diễn, Chương trình Datalog, Datalog dạng tuyển, Phương pháp ma tập

Tìm hiểu cơ sở lý thuyết về chương trình datalog có chứa ràng buộc; định giá chương trình datalog với ràng buộc tuyến tính và ràng buộc khoảng thứ tự nguyên; chương trình datalog phủ định phân tầng với ràng buộc thư tự nguyên. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 23/03/2015 71 1 Download

Từ khóa: Tin học, Chương trình datalog, Phương pháp định giá chương trình datalog

Tìm hiểu về chương trình Datalog. Nghiên cứu tối ưu hóa chương trình Datalog và cải tiến các thuật toán (Naive, Semi-naive); Tối ưu hóa chương trình Datalog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 6 p husc 20/03/2015 84 1 Download

Từ khóa: Tin học, chương trình Datalog

Nghiên cứu ngữ nghĩa chương trình datalog có chứa phủ định dựa trên logic 2 trị; một số khái niệm mở rộng logic 3 trị; trình bày Datalog LITE - ngôn ngữ truy vấn suy diễn với thuật toán kiểm định mô hình thời gian tuyến tính... nhằm đáp ứng tốt việc biểu diễn tri thức, truy vấn trong CSDL suy diễn. Ghi chú: Tài liệu toàn...

 3 p husc 20/03/2015 101 1 Download

Từ khóa: Tin học, chương trình datalog

Trình bày tổng quan về cơ sở dữ liệu suy diễn và chương trình Datalog; Nghiên cứu ngữ nghĩa chương trình Datalog dạng tuyển và dạng tuyển có ràng buộc. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 6 p husc 19/03/2015 202 1 Download

Từ khóa: Tin học, chương trình Datalog dạng tuyển