Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ datalog Doãn Thị Thúy Hiền Trường Đại học Công nghệ Luận văn Thạc sĩ ngành: Công nghệ thông tin; Mã số: 1.01.10 Người hướng dẫn: TS. Nguyễn Tuệ Năm bảo vệ: 2008 Abstract: Trình bày các khái niệm cơ sở của logic bậc một - ngôn ngữ nền tảng để biểu diễn một cơ sở dữ liệu logic, các tính toán bộ và tính toán miền là các hình thức hoá logic của các ngôn ngữ truy vấn các cơ sở dữ liệu quan hệ. Trình bày về ngôn ngữ các quy tắc trong cơ sở dữ liệu suy diễn, vấn đề phân chia hay tích hợp một động cơ suy diễn với một hệ quản trị cơ sở dữ liệu. Trình bày cụ thể về ngôn ngữ Datalog, cú pháp, ngữ nghĩa, sự mở rộng của Datalog, vấn đề tính giá trị của các truy vấn Datalog cũng như vấn đề tính giá trị của các quy tắc đệ quy Keywords: Cơ sở dữ liệu; Cơ sở dữ liệu suy diễn; Ngôn ngữ datalog Content MỞ ĐẦU Cơ sở dữ liệu quan hệ cho phép tiếp nhận, lưu trữ và xử lý một lượng dữ liệu lớn. Việc nghiên cứu cơ sở dữ liệu quan hệ đã đạt được nhiều thành công, có nhiều đóng góp lớn trong việc quản lý. Tuy nhiên, ngoài việc tiếp nhận, lưu trữ và xử lý dữ liệu, người ta cần một loại cơ sở dữ liệu có khả năng suy luận ra các thông tin từ các dữ liệu được lưu giữ. Cơ sở dữ liệu suy diễn đáp ứng được yêu cầu ấy. Ngoài việc lưu trữ các thông tin một cách rõ ràng theo kiểu cơ sở dữ liệu quan hệ, cơ sở dữ liệu suy diễn còn lưu giữ các luật có khả năng suy diễn dựa trên các dữ liệu đã lưu. Cơ sở dữ liệu suy diễn là sản phẩm tự nhiên của lập trình logic, trong đó logic toán được sử dụng cho các khái niệm tính toán mô hình trực tiếp. Kỹ thuật cơ sở dữ liệu suy diễn được ứng dụng nhiều trong các hệ hỗ trợ quyết định, và các hệ chuyên gia. Cùng với các kỹ thuật phát triển cơ sở dữ liệu quan hệ, điều cơ bản này trong logic có nghĩa là cơ sở dữ liệu suy diễn có khả năng lưu một lượng lớn thông tin cũng như việc thực hiện suy diễn trên các thông tin đó. 2 Có rất nhiều lĩnh vực ứng dụng kỹ thuật cơ sở dữ liệu suy diễn, như hệ hỗ trợ quyết định, các hệ chuyên gia. Nó cho phép phân tích một lượng lớn các dữ liệu, đưa ra các suy luận cho tương lai. Việc nghiên cứu cơ sở dữ liệu suy diễn được thực hiện trên thế giới từ những năm 80 của thế kỷ trước, nhưng ở nước ta cho đến hiện nay vẫn còn rất ít những nghiên cứu về nó. Việc tìm hiểu cơ sở về cơ sở dữ liệu suy diễn và các ứng dụng của nó là một vấn đề có ý nghĩa lý thuyết và thực tiễn. Với lý do đó em chọn đề tài nghiên cứu luận văn là: “ Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ Datalog ” Luận văn gồm hai chương: Chương 1: Logic và cơ sở dữ liệu Trình bày các khái niệm cơ sở của logic bậc một – ngôn ngữ nền tảng để biểu diễn một cơ sở dữ liệu logic, các tính toán bộ và tính toán miền là các hình thức hoá logic của các ngôn ngữ truy vấn các cơ sở dữ liệu quan hệ. Chương 2: Cơ sở dữ liệu suy diễn Trình bày về ngôn ngữ các quy tắc trong cơ sở dữ liệu suy diễn, vấn đề phân chia hay tích hợp một động cơ suy diễn với một hệ quản trị cơ sở dữ liệu. Chương này cũng trình bày về ngôn ngữ Datalog, cú pháp, ngữ nghĩa, sự mở rộng của Datalog, vấn đề tính giá trị của các truy vấn Datalog cũng như vấn đề tính giá trị của các quy tắc đệ quy. Do việc nghiên cứu ở nước ta còn ít, việc tìm kiếm và tham khảo tài liệu có khó khăn và trình độ của em còn nhiều hạn chế nên chắc chắn luận văn còn nhiều thiếu sót. Em rất mong được các thầy giáo và các bạn thông cảm và giúp đỡ để em có thể phát triển luận văn của mình hoàn thiện hơn, có nhiều ứng dụng thực tiễn hơn. References 1. Nhập môn CSDL / Nguyễn Tuệ. 2. Principles of Database and knowledge - base systems / Jeffrey D. Ullman. - Maryland : Principle of computer science series / Ed.: Alfred V. Aho, Jeffrey D. Ullman - Vol.1 3 3. DataBase programming languages Deductive, Functional, Persistent and Object – Oriented Approaches / Norman Paton, Richard Cooper, Howard Williams and Philip Trinder. 4. LogiData +: Deductive Databases with Complex Objects / Paolo Atzenti (Ed.) 5. http://books.google.com/books?id=m5_r1lpUygEC&printsec=frontcover&dq=deductive +database&sig=ACfU3U0Yl4EvJeJCZ_6u1QRJCjinNsyloA#PPA4,M1 . “ Nghiên cứu lý thuyết xây dựng cơ sở dữ liệu suy diễn và ngôn ngữ Datalog ” Luận văn gồm hai chương: Chương 1: Logic và cơ sở dữ liệu Trình bày các khái niệm cơ sở của logic bậc một – ngôn. một cách rõ ràng theo kiểu cơ sở dữ liệu quan hệ, cơ sở dữ liệu suy diễn còn lưu giữ các luật có khả năng suy diễn dựa trên các dữ liệu đã lưu. Cơ sở dữ liệu suy diễn là sản phẩm tự nhiên của. về ngôn ngữ các quy tắc trong cơ sở dữ liệu suy diễn, vấn đề phân chia hay tích hợp một động cơ suy diễn với một hệ quản trị cơ sở dữ liệu. Trình bày cụ thể về ngôn ngữ Datalog, cú pháp, ngữ