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
Trang 1Nghiê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
Trang 2Có 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
Trang 33 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