Nghiên cứu cơ sở dữ liệu suy diễn ứng dụng xây dựng hệ thống tìm đường đi (tt)

HỌC VIỆN CƠNG NGHỆ BƯU CHÍNH VIỄN THƠNG - Nguyễn Thị Quyến NGHIÊN CỨU CƠ SỞ DỮ LIỆU SUY DIỄN VÀ ỨNG DỤNG XÂY DỰNG HỆ THỐNG TÌM ĐƯỜNG ĐI Chuyên ngành: Khoa học máy tính Mã số : 60.48.01 TĨM TẮT LUẬN VĂN THẠC SĨ HÀ NỘI-2012 MỞ ĐẦU Chúng ta có sở liệu từ giới thực đa dạng phong phú sở liệu đường biển, sở liệu tuyến đường thành phố, huyện, tỉnh thành phố quốc gia, Với hệ quản trị sở liệu quan hệ dùng đại số quan hệ dùng việc đặt câu hỏi trả lời câu hỏi hạn chế sở liệu có kích thước lớn liệu đường tuyến đường huyện, tỉnh, thành phố nước, việc hỏi trả lời câu hỏi tìm đường hai điểm sở liệu thực tế có tồn hay khơng, sau câu hỏi tìm đường ngắn hai điểm công việc khó khăn với đại số quan hệ mà dùng, vấn đề đệ quy đại số quan hệ không giải được, SQL giải đệ quy tuyến tính nhờ mở rộng đại số quan hệ Với có sở liệu suy diễn gồm kiện (lấy liệu từ sở liệu) luật cho câu trả lời từ câu hỏi, cung cấp cho tri thức Do luận văn lựa chọn đề tài “Nghiên cứu sở liệu suy diễn ứng dụng xây dựng hệ thống tìm đường đi” để giải toán đặt nêu 2 CHƯƠNG 1: LẬP TRÌNH LOGIC VÀ CƠ SỞ DỮ LIỆU 1 Giới thiệu 1 Các mốc phát triển lập luận logic sở liệu suy diễn Tiếp cận Codd năm 1970, năm 1984 F D Ullman, năm 1986 Date, năm 1989 Gardarin Valurier, năm 1989 Brodie Manola Tư tưởng đằng sau lập trình logic sử dụng logic tốn học ngơn ngữ lập trình, đề cập tài liệu Kowalski năm 1970, Colmerauer đưa vào thực hành năm 1975 cài đặt ngơn ngữ lập trình logic Prolog (Programming logic) 1 Nhu cầu sở liệu suy diễn Các sở liệu suy diễn quản lý hầu hết ứng dụng tại, vấn đề phức tạp liệu 1 Nhu cầu hệ quản trị sở liệu hệ Do nhu cầu thực tế nghiên cứu ứng dụng, hệ hệ quản trị sở liệu đề xuất Đó sở liệu hướng đối tượng, sở liệu suy diễn sở liệu phân tán 1 Hạn chế hệ quản trị sở liệu quan hệ Các đối tượng phức tạp, không xử lý tri thức, rút tri thức mới, mơi trường ứng dụng phân tán Lập trình logic Giới thiệu lập trình logic Lịch sử phát triển : hệ phát triển lập trình logic Fischer Black năm 1964, James Slagle năm 1965 Cordell Green năm 1969, hệ thống hỏi đáp McCarthy đề xuất Năm 1973, Hayes phát triển ngôn ngữ Golux Kowalski tập trung vào lời giải SL thủ tục với đích suy giảm Từ ngơn ngữ Prolog có ngơn ngữ khách ALF, Fril, G del, Mercury, Oz, Ciao, Visual Prolog, XSB, λProlog 2 Một số định nghĩa Hạng thức định nghĩa đệ qui sau: Mỗi hạng thức; biến hạng thức; f ký hiệu hàm có n-ngơi t1, tn hạng thức f (t1, , tn) hạng thức; hạng thức sinh quy tắc Literal nguyên tố phủ định nguyên tố Một nguyên tố literal dương phủ định nguyên tố literal âm Với p nguyên tố, literal âm ký hiệu p Câu chương trình đích Câu khơng rỗng viết M   M n  N m ,n  m  , Trong Mi Nj literal dương biến ngầm định có lượng tử  biểu thức tuyển Mỗi cơng thức xác định tốt Wff viết dạng câu Đích chuẩn: Đích chuẩn, hay đơn giản đích, hay phủ nhận cơng thức có dạng  L1   Ln ,n  , Li nguyên tử phủ định nguyên tử, phần L1   Ln thân đích 3 Chương trình Chương trình tổng quát (chương trình): tập hữu hạn câu tổng quát Chương trình tuyển tập hữu hạn câu tuyển Chương trình chuẩn tập hữu hạn câu chuẩn Chương trình phân tầng, đệ quy, phân cấp Phân cấp: Nếu đồ thị phụ thuộc chương trình chuẩn khơng chứa chu trình chương trình gọi phân cấp Chương trình đệ quy: Nếu đồ thị phụ thuộc chương trình chuẩn có chu trình chương trình đệ quy Một chương trình đệ quy đệ quy trực tiếp đồ thị phụ thuộc khơng có chu trình với độ dài lớn Phân tầng: chương trình chuẩn phân tầng chu trình đồ thị phụ thuộc tạo cung dương, cho dù phần cịn lại đồ thị có cung âm Cơ sở liệu Các mơ hình liệu Mơ hình liệu mạng; mơ hình liệu phân cấp; mơ hình liệu quan hệ; mơ hình liệu đối tượng; mơ hình liệu suy diễn Các mơ hình nêu rõ [4] [11] Mơ hình liệu suy diễn Mơ hình liệu Một mơ hình hình liệu gồm: Ký pháp tốn học để mơ tả hình thức liệu quan hệ; kỹ thuật để xử lý liệu trả lời câu hỏi, kiểm tra điều kiện toàn vẹn 2 Hệ thống sở liệu suy diễn hệ thống lập trình logic Một số điểm khác sở liệu suy diễn lập trình logic gồm:  Trong sở liệu suy diễn điển hình, số kiện lớn so với số luật Điều không hệ thống lập trình logic  Một sở liệu suy diễn chi tập ký hiệu vị từ thành hai tập không giao tập tất vị từ sở tập vị từ ảo Ngược lại, lập trình logic khơng phân chia  Các sở liệu suy diễn có giao diện riêng để mô tả xử lý liệu, người ta dùng ngơn ngữ bậc cao Trong hệ thống lập trình logic, khả câu xử lý mức sơ khởi  Thuật ngữ dùng hệ thống lập trình logic khơng giống hệ thống sở liệu suy diễn 3 Lý thuyết mơ hình lý thuyết chứng minh Một sở liệu nhìn quan điểm logic theo: Diễn giải lý thuyết bậc một; lý thuyết bậc Lý thuyết mơ hình với sơ liệu suy diễn Giả sử (D, L) sở liệu chuẩn Các tiên đề lý thuyết T sau: Các tiên đề đầy đủ: Tiên đề có hồn thiện ký hiệu vị từ L tương ứng với câu D Tiên đề tên tương đương: Các tiên đề lý thuyết tương đương tùy theo ký hiệu số, hàm số vị từ L Tiên đề bao đóng miền: Nếu a1, …, ap tất phần tử L f1, …, fq ký hiệu hàm số L, tiền đề bao đóng miền, theo Lloyd năm 1987, Mancarella năm 1988 sau: x(( x  a1 )  ( x1 , ,xm ( x  f ( x1 , ,xm )))   ( y1 , ,yn ( x  f ( y1 , , y n )))) Vì D sở liệu chuẩn, quan điểm lý thuyết chứng minh giảm Comp (D) cơng với tiên đề bao đóng miền vừa nêu Các sở liệu suy diễn chương trình logic Một sở liệu chuẩn gồm có:  Một tập câu chuẩn, phần tử bậc hạn chế  Cách giải SLD đưa tài liệu [1]  Một lý thuyết chứng minh sở liệu xác định (D, L) xây dựng cách xác đồi với sở liệu chuẩn Tất nhiên theo quan điểm thực sở liệu xác định gồm:  Một tập câu xác định, phần tử bậc hạn chế  Cách giải SLD Các giao tác sở liệu suy diễn Giao tác: Một giao tác sở liệu suy diễn xâu hữu hạn phép toán, hay hành động bổ sung, loại bỏ hay cập nhật câu Khẳng định: Một giao tác gọi khẳng định tốt toàn xâu phép toán tạo nên kết tốt giao tác 3 Các hệ quản trị sở liệu 3 Hệ quản trị sở liệu Một hệ quản trị sở liệu tập hợp chương trình giúp cho người sử dụng tạo ra, trì khai thác sở liệu Người ta gọi sở liệu hệ quản trị sở liệu thuật ngữ chung hệ sở liệu 3 Sơ lược hệ quản trị sở liệu Giữa năm 60, hệ CODASYL IMS Thế hệ thứ hai, với mô hình quan hệ đưa năm 70 E F Codd Thế hệ phát triển từ năm 80, theo mơ hình hướng đối tượng;cơ sở liệu phân tán Kết luận Chương trình bày mốc phát triển lập luận logic sở liệu suy diễn; nhu cầu sở liệu suy diễn; nhu cầu hệ quản trị sở liệu; sở liệu hạn chế hệ quản trị sở liệu quan hệ; mơ hình liệu mơ hình liệu suy diễn; đồng thời giới thiệu lập trình logic CHƯƠNG CƠ SỞ DỮ LIỆU SUY DIỄN Cơ sở liệu dựa logic 1 Cú pháp Người ta sử dụng kí hiệu Vị từ so sánh :  (Biến) so sánh với (giá trị)  ::= {, =, =, } Cách biểu diễn luật : Q  P1, P2, , Pn, Pi : tiên đề, giả thiết, đích con, vị từ; Q : kết luận kiện Nếu n = : Q   Các kiện CSDL cài đặt Nếu P  P1, P2, …, Pn P luật đệ quy (hay vị từ thân đầu luật) 2 Ngữ nghĩa Là tập tất kiện suy diễn từ chương trình DATALOG 5 Cấu trúc Hệ thống DATALOG gồm hai loại quan hệ:Các quan hệ sở lưu trữ CSDL, gọi CSDL mở rộng EDB (Extended Database); Các quan hệ suy diễn không cần lưu CSDL, dùng quan hệ tạm thời, chứa kết trung gian trả lời câu hỏi Các quan hệ gọi CSDL theo mục đích IDB (Intentional Database) Cấu trúc câu hỏi Để trình bày cấu trúc câu hỏi người ta sử dụng đồ thị luật 2 Cơ sở liệu suy diễn 2 Mơ hình sở liệu suy diễn Mơ hình liệu gồm: Kí pháp tốn học để mơ tả hình thức liệu quan hệ, kỹ thuật để xử lý liệu trả lời câu hỏi, kiểm tra điều kiện toàn vẹn 2 Các điều kiện toàn vẹn liệu Hai thành phần tính tồn vẹn: tính hợp lệ đầy đủ Một sở liệu có tính tồn vẹn lệu xác (có giá trị) chứa đựng tất liệu liên quan (nó đầy đủ) 2 Quản trị sở liệu suy diễn Một mơ hình sở liệu suy diễn bao gồm: Mức ngoài: cho phép xác định yêu cầu hệ thống, cho phép hỏi liệu theo đích Q trình nhập liệu tri thức thực mức Thực tế, giao diện tương tác tạo điều kiện chuyển yêu cầu người dùng sang câu hỏi phù hợp với hệ quản trị sở liệu Mức quản trị: gồm quản trị liệu quản trị tri thức Tiếp cận sử dụng mô tơ suy luận ngôn ngữ Prolog phù hợp, đáp ứng yêu cầu xử lý khía cạnh literal âm, đặc tả mức cao Mức vật lý: có trách nhiệm lưu trữ tổ chức kiện, luật Các tri thức dựa luật phù hợp với suy luận Prolog Một vài dạng khác thể tri thức chuyển sang dạng luật Hình Mơ hình suy diễn với mức Hình Kiến trúc mơ hình suy diễn với sở liệu động Ngôn ngữ Prolog Chương trình đích Prolog ngơn ngữ lập trình logic Chương trình Prolog chuẩn chương trình logic chuẩn Theo định nghĩa chương trình logic chuẩn, Chương trình prolog tập hữu hạn câu chuẩn Đích Prolog chuẩn đích chuẩn Cú pháp Một số ký pháp sử dụng Prolog không xa lạ Người ta sử dụng ký hiệu: =, ←, Kiểu liệu đơn Prolog term Các khái niệm liên quan trình bày mục 2 term, nguyên tử, biến, term phức hợp 3 Nền tảng lý thuyết Cơ chế suy luận Prolog giống giải SLDNF với số hạn chế sau: Luật tính tốn Prolog ln chọn literal trái đích Prolog chuẩn sử dụng trật tự câu chương trình trật tự cố định mà câu xét, tức tìm kiếm theo kiểu tìm chiều sâu Prolog bỏ qua điều kiện kiểm tra việc xảy phép so sánh khớp hai biểu thức Datalog Datalog hay chương trình viết Datalog xem sở liệu suy diễn Tuy ngôn ngữ Datalog Prolog, người ta quen lấy ví dụ ngơn ngữ Prolog làm ví dụ Datalog xem Datalog hoạt động Prolog Ngôn ngữ Datalog xét ngôn ngữ Prolog Khả mở rộng Datalog a Những đặc trưng trình xử lý câu hỏi b Các nghiên cứu hệ thống khía cạnh ràng buộc toàn vẹn c Các sở liệu suy diễn song song d Việc hình thức hóa chức gộp lớn liệu toàn vẹn e Như tài liệu [1] có số mở rộng nghiên cứu Datalog trình bày mở rộng vị từ, suy luận lùi, thay đồng suy luận lùi dựa quan hệ, tính quan hệ đích, đánh giá luật/đích, luật/đích, mẫu buộc thứ tự đích Trong tài liệu [13] đưa phương pháp ràng buộc toàn vẹn động tĩnh 7 Kết luận Trong chương trình bày sở liệu suy diễn, cụ thể trình bày sở liệu dựa logic; định nghĩa sở liệu suy diễn; ngôn ngữ Prolog; Datalog khả mở rộng Datalog 8 CHƯƠNG 3: THỬ NGHIỆM VỚI HỆ THỐNG DES Giới thiệu hệ thống DES 1.7.0 Hệ thống giáo dục Datalog (DES) phần mềm mã nguồn mở, miễn phí, thích hợp với nhiều tảng, thực dựa Prolog hệ thống sở liệu suy diễn bản, thích ứng với ngơn ngữ Datalog ngôn ngữ hỏi SQL 1 Cài đặt DES 1.7.0 Có thể tải từ trang web DES địa chỉ: htttp://des sourceforge net/ Các nguồn phân phối Dưới nguồn phân phối, có vài hệ quản trị sở liệu diễn phụ thuộc vào trình biên dịch Prolog mà bạn chạy DES: Ciao Prolog, GNU Prolog, SICtus Prolog, SWI Prolog 3 Các thành phần để thực DES tảng Windows Các thành phần để thực chạy chương trình DES bao gồm:des.exe, deswin, des Pl, des_debug Pl, des_sql Pl, des_glue Pl, systems/{ciao, gnu, sicstus, swi}, main sav * Dll,doc/manualDES Pdf, examples/* Dl, sp311 Các thành phần tri thức luật hệ thống DES Ngôn ngữ hỏi DES bao gồm trình biên dịch Datalog đơn giản trạng thái nó, mà dựa vào máy sở liệu suy diễn mà hỏi với ngôn ngữ Datalog ngôn ngữ SQL giao diện Prolog cung cấp để làm sáng tỏ khác hệ thống Prolog Datalog 2 Các thành phần Datalog 3.2.2.1.Cú pháp Cú pháp DES lấy từ Prolog Câu phức: Prolog, chúng có dạng t (t1, t2, , tn), t ký hiệu hàm ti (1 ≤ i ≤ n) câu Các tốn tử là: tiền tố hậu tố 3.2.2.2 Các luật Các luật Datalog có dạng head :- body, head Cả hai đề kết thúc dấy chấm Đầu Datalog nguyên tử dương mà dùng ký hiệu vị từ không xây dựng sẵn Thân Datalog chứa dãy literal phân cách dấu phẩy chứa ký hiệu xây dựng sẵn 3.2.2.3 Các chương trình Các chương trình DES bao gồm tập luật Các chương trình chứa ghi chú, ghi bắt đầu với ký hiêu %, kết thúc cuối dòng 3.2.2.4 Các câu hỏi Một câu hỏi (dương) tên quan hệ với nhiều đối số số chẵn quan hệ (một literal dương) Các câu hỏi phân loại hệ thống dấu nhắc DES Câu trả lời cho câu hỏi tập kiện khớp với câu hỏi mà suy diễn từ ngữ cảnh chương trình, từ sở liệu bên (EDB) bên (IDB) 3.2.2.5 Các khung nhìn tạm thời Một khung nhìn tạm thời luật mà thêm vào sở liệu; đầu thân luật xem xét câu hỏi thực 9 3.2.2.6 Các khung nhìn tạm thời tự động Các khung nhìn tạm thời tự động, Các khung nhìn tự động đáp ứng ngay, khung nhìn tạm thời mà khơng cần đầu cho phép viết câu hỏi phép giao 3.2.2.7 Sự phủ định (negation) DES đảm bảo thơng tin âm tập hợp lại từ chương trình với đích phủ định cung cấp mà dạng hạn chế phủ định dùng 3.2.2.8 Giá trị Null Giá trị null bao gồm ký hiệu chương trình để ký hiệu chưa biết, cách tương đương, phần thừa kế hệ sở liệu quan hệ 3.2.2.9 Các phép kết nối bên Ba phép tính kết nối bên ngồi cung cấp, theo ngôn ngữ truy vấn sở liệu quan hệ (SQL, đại số quan hệ mở rộng): kết nối trái, kết nối phải kết nối bên 3.2.2.10.Các tập hợp Các tập hợp tới hàm vị từ mà tính tốn giá trị tương ứng với tập giá trị thay giá trị đơn Các tập hợp cung cấp cách năm tính tốn thơng thương: sum, count, avg, min, max 3 Các câu lệnh DES Các câu lệnh thực thi cách đặt trước câu lệnh với dấu gạch chéo (/) dấu nhắc hệ thống DES Chi tiết câu lệnh lại xem tài liệu [13] 3 Bài tốn tìm đường 3 Dạng liệu hệ thống thông tin địa lý 3 1 Dữ liệu không gian 3.3.1.2 Dữ liệu vector Một số kiểu đối tượng liệu vector : Đối tượng điểm Các đối tượng kiểu điểm có đặc điểm: toạ độ đơn (x, y); Đối tượng đường : Đường xác định tập hợp dãy điểm 3.3.1.3 Dữ liệu raster Mơ hình raster biểu diễn không gian ma trận số nguyên, giá trị số nguyên đại diện cho thuộc tính, vị trí số nguyên vị trí đối tượng 3 Dữ liệu phi không gian Số liệu phi không gian hay cịn gọi thuộc tính mơ tả đặc tính, đặc điểm tượng xảy vị trí địa lý xác định Tìm đường dùng sở liệu suy diễn Ta có tập liệu đường độ dài đường, vấn đề thứ tìm tất đường hai điểm, thứ hai tìm đường ngắn hai điểm 3 Biểu diễn kiện luật dùng sở liệu suy diễn Để biểu diễn nội dung sở liệu suy diễn gồm kiện luật, giống ngôn ngữ Prolog, dùng Datalog Một việc mở rộng đối Datalog khả dùng tệp tin sở liệu bên tồn phần sở hữu sở liệu bên Các tệp 10 tin dùng để giữ hầu hết liệu mơ tả tình thực tế mạng đường thông tin trạng thái dự đoán trước Để tránh miêu tả cú pháp ngữ nghĩa phức tạp liệu thực tế cho phép em dùng khái niệm quan trọng chương trình Datalog ví dụ đơn giản để trợ giúp, mà gần với vấn đề giao thông mà xây dựng – tức định nghĩa đường mạng lưới giao thông road (a, b) road (a, c) road (b, a) road (b, d) (1) reach (X, Y) :- edge (X, Y) (2) reach (X, Y) :- reach (X, Z), edge (Z, Y) (3) reach (X, X) (4) Dịng (1) định nghĩa kiện, ví dụ: có đường từ a tới b Dịng (2) (3) miêu tả luật 3 2 Điều khiển tìm đương đồ giao thơng Luận văn trình bày vấn đề tìm đường tối ưu đồ thị hệ thống đường Trước giới thiệu cấu trúc liệu đầu vào, xem cấu trúc gợi ý hệ thống giao thơng tranh đơn giản sau: Hình 15: Miêu tả hệ thống tìm đường Trong hình 16 thể tìm kiếm, mà gọi OLD Một câu truy vấn  reach (a, X), nút (được gán nhãn) trạng thái đích mệnh đề âm, nút nút kết việc áp dụng mệnh đề chương trình đích trái (nguyên tử) trạng thái đích cha Kí hiệu ký hiệu trạng thái đích trống mệnh đề null Mỗi cạnh gán nhãn với tình cho biến trạng thái đích cha cần thiết để tạo mệnh đề ứng dụng OLD trường hợp đặc biệt SLD thể tài liêu [3] [5] Sau số bước tìm kiếm, ta hồn tất q trình tìm kiếm 11 Hình 16: Cây tìm kiếm OLD Hinh 20: Hồn tất q trình tìm kiếm đường Giải toán DES 1.7.0 Giải tốn tìm đường Mơ tả hình thức hệ thống DES sau: toán mục 3 2 dùng hồi quy DES cách định nghĩa đồ thị hình 20 tập đường từ “xuất phát” tới “đích đến” Hình 21: Các đường đồ thị Dùng liệu đưa vào SQL tệp tin “Paths Sql” create table edge (origin, destination); insert into edge values ('a', 'b');insert into edge values ('a', 'c'); insert into edge values ('b', 'a');insert into edge values ('b', 'd'); create view paths (origin, destination) as with recursive path (origin, destination) as (select * from edge) union (select path origin, edge Destination from path, edge where path destination =edge origin) select * from path; Đưa luật vào tệp tin paths dl chứa đoạn mã Datalog 12 % Paths in a Graph edge (a, b) edge (a, c) edge (b, a) edge (b, d) path (X, Y) :- path (X, Z), edge (Z, Y) path (X, Y) :- edge (X, Y) Trong phần chạy DES ta gõ đoạn mã lệnh sau vào: DES-SQL> select * from paths; answer (paths origin, paths destination) -> { answer (a, a), answer (a, b), answer (a, c), answer (a, d), answer (b, a), answer (b, b), answer (b, c), answer (b, d) } Info: tuples computed Giải toán tìm đường ngắn Thay đổi tập luật tập tin paths.dl sau, ta tìm đường ngắn path (X, Y, 1) :-edge (X, Y) path (X, Y, L) :-path (X, Z, L0), edge (Z, Y), count (edge (A, B), Max), L0 sp (X, Y, L) { sp (a, a, 2), sp (a, b, 1), sp (a, c, 1), sp (a, d, 2), sp (b, a, 1), sp (b, b, 2), sp (b, c, 2), sp (b, d, 1) } Info: tuples computed Dưới việc xây dựng SQL cho vấn đề tương tự tệp tin Spaths Sql DES-SQL> create or replace view spaths (origin, destination, length) as with recursive path (origin, destination, length) as (select edge *, from edge) union (select path origin, edge destination, path length+1 from path, edge where path destination=edge origin and path length< (select count (*) from edge)) select origin, destination, (length) from path group by origin, destination; DES-SQL> select * from spaths answer (spaths origin, spaths destination, spaths length) -> { answer (a, a, 2), answer (a, b, 1), answer (a, c, 1), 13 answer (a, d, 2), answer (b, a, 1), answer (b, b, 2), answer (b, c, 2), answer (b, d, 1) } Info: tuples computed Kết luận Trong chương này, luận văn trình bày vấn đề đặt tốn, cách thức mà hệ thống thông tin địa lý lấy liệu từ thực tế, cách chụp ảnh vệ tinh, thông quan internet để phân phối ảnh vệ tinh, qua lấy hình ảnh phân tích ảnh dựa kỹ thuật Vector Raster để đưa liệu vào sở liệu SQL từ có thẻ lấy liệu để tìm tất đường hai điểm sau mơ tả toán dùng Datalog để biểu diễn kiện luật, biểu diễn đồ thị cho tốn tìm dường dùng luật Cuối mơ giải tốn tìm đường cách hình thức DES 1.7.0 KẾT LUẬN Những kết luận văn Theo phần giới thiệu, luận văn chia thành chương :  Chương 1: Lập trình logic sở liệu: giới thiệu mốc mốc phát triển lập luận logic sở liệu suy diễn; nhu cầu sở liệu suy diễn; nhu cầu hệ quản trị sở liệu hệ tiếp theo; sở liệu hạn chế hệ quản trị sở liệu quan hệ; đồng thời giới thiệu lập trình logic  Chương 2: Cơ sở liệu suy diễn: tìm hiểu sở liệu dựa logic; định nghĩa sở liệu suy diễn; ngôn ngữ Prolog; Datalog khả mở rộng Datalog  Chương 3: Thử nghiệm hệ thống DES 1.7.0: Chúng ta đặt tìm hiểu làm vấn đề sau: Giới thiệu hệ thống DES 1.7.0; thành phần tri thức luật hệ thống DES; giải toán DES đặt tốn tìm đường Luận văn tìm hiểu vấn đề lập trình logic sở liệu, đồng thời tìm hiểu lý thuyết sở liệu suy diễn để bước đầu làm lý thuyết áp dụng cho toán thực tiễn Một số phần luận văn nêu lý thuyết logic, lập trình logic đề xuất, tìm hiểu sở liệu suy diễn Ứng dụng lý thuyết trình bày ứng dụng vào tốn tìm đường thực tế dùng DES 1.7.0 để thử nghiệm kết luận văn Luận văn thực mục đích :Nắm rõ kiến thức logic; Tìm hiểu lập trình logic vai trị lập trình logic; Làm rõ sở liệu loại sở liệu; Kiến thức sở liệu suy diễn, ngơn ngữ Datalog; Tìm hiểu cài đặt hệ thống DES (Datalog Educational System) 1.7.0; Ứng dụng lý thuyết tìm hiểu để giải tốn tìm đường đi; Cài đặt thử nghiệm tốn tìm đường hệ thống DES 1.7.0 Phương hướng nghiên cứu  Tiếp tục nghiên cứu ứng dụng toán tìm đường để tích hợp vào hệ thống thông tin địa lý đồng thời mở rộng nghiên cứu tốn tương tự tìm đường mạng máy tính, …  Tìm hiểu sâu ràng buộc toàn vẹn sở liệu suy diễn 14 DANH MỤC CÁC ĐỀ TÀI ĐÃ CƠNG BỐ CĨ LIÊN QUAN ĐẾN LUẬN VĂN [1] M S Lam, J Whaley, V B Livshits, M C Martin, D Avots, M Carbin, and C Unkel Context-sensitive program analysis as database queries In Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems ACM, June 2005 [2] Y A Liu and S D Stoller From datalog rules to efficient programs with time and space guarantees In PPDP ’03: Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pages 172–183 ACM Press, 2003 [3] R Ramakrishnan and J D Ullman A survey of research on deductive database systems J Logic Programming, 23 (2):125–149, 1993 [4] J D Ullman Bottom-up beats top-down for datalog In PODS ’89: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 140–149 ACM Press, 1989 [5] J D Ullman Principles of Database and Knowledge-Base Systems Computer Science Press, Rockville, MD., volume II edition, 1989  ... suy diễn Các sở liệu suy diễn quản lý hầu hết ứng dụng tại, vấn đề phức tạp liệu 1 Nhu cầu hệ quản trị sở liệu hệ Do nhu cầu thực tế nghiên cứu ứng dụng, hệ hệ quản trị sở liệu đề xuất Đó sở liệu. .. triển lập luận logic sở liệu suy diễn; nhu cầu sở liệu suy diễn; nhu cầu hệ quản trị sở liệu; sở liệu hạn chế hệ quản trị sở liệu quan hệ; mơ hình liệu mơ hình liệu suy diễn; đồng thời giới thiệu... logic sở liệu: giới thiệu mốc mốc phát triển lập luận logic sở liệu suy diễn; nhu cầu sở liệu suy diễn; nhu cầu hệ quản trị sở liệu hệ tiếp theo; sở liệu hạn chế hệ quản trị sở liệu quan hệ; đồng