CHƢƠNG II : CƠ SỞ DỮ LIỆU SUY DIỄN
2.2 Các vấn đề của hệ quản trị cơ sở dữ liệu suy diễn
2.2.1 Ngôn ngữ quytắc (luật)
Giao diện mới đƣợc hệ quản trị cơ sở dữ liệu suy diễn cung cấp trƣớc tiên là ngôn ngữ quy tắc.
Khái niệm 2.1: Ngôn ngữ quy tắc (Rule Language)
Ngôn ngữ quy tắc là ngôn ngữ được sử dụng để định nghĩa các quan hệ suy diễn tạo nên cơ sở mục tiêu (intensional) cho phép viết các chương trình quy tắc theo kiểu <điều kiện> <hành động>.
Nhƣ vậy ngôn ngữ quy tắc đƣợc sử dụng để chỉ rõ các phần điều kiện
và hành động của các quy tắc suy diễn. Chính xác hơn, từ các B1, B2,….,Bn đƣợc định nghĩa trong cơ sở dữ liệu mở rộng (extensional),
ngôn ngữ suy diễn cho phép chỉ rõ việc xây dựng các vị từ phát sinh có thể
truy vấn đƣợc R1, R2 … qua các ngƣời dùng.
Sự mở rộng là có khả năng bởi vì ngôn ngữ định nghĩa và thao tác các
tri thức sẽ tích hợp các chức năng sau đây:
1. Khả năng thực hiện các phép toán kinh điển của tính toán quan hệ (hợp, chọn, chiếu, nối, trừ);
2. Hỗ trợ các tập hợp, bao gồm các hàm nhóm truyền thống của các
3. Sự đệ quy, nó cho phép định nghĩa một quan hệ suy diễn bằng hàm của chính nó.
4. Sự phủ định, nó cho phép tham chiếu đến các sự kiện (dữ liệu) không tồn tại trong cơ sở.
5. Các hàm số học và tổng quát hơn là các hàm do ngƣời dùng định nghĩa.
6. Cập nhật các sự kiện thông qua các quy tắc
7. Sự modun hoá cùng với sự quản lý mức trừu tƣợng liên tiếp và siêu-
quy tắc.
Tóm lại, tất cả các tiện ích tồn tại trong các ngôn ngữ phát triển cơ sở dữ liệu sẽ đƣợc tìm và đƣa vào các ngôn ngữ quy tắc. Mục tiêu khả thi là thay thế các ngôn ngữ này.