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

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. />+database&sig=ACfU3U0Yl4EvJeJCZ_6u1QRJCjinNsyloA#PPA4,M1