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.3 Vị từ mở rộng và vị từ mục tiêu
Trong ngữ cảnh logic, một cơ sở dữ liệu đƣợc nhận biết nhƣ là một tập hợp các vị từ. Việc nhập vào các vị từ mở rộng đƣợc cụ thể hoá trong cơ sở dữ liệu. Các vị từ mở rộng tƣơng ứng với các quan hệ của mô hình quan hệ
Máy suy luận Hệ QTCSDL
Hệ QTCSDL
Hệ QTCSDL Máy suy luận
Máy suy luận SQL+ngôn ngữ quy tắc
Ngôn ngữ quy tắc
Mắc nối yếu Mắc nối mạnh
Tích hợp
Khái niệm 2.2 Vị từ mở rộng (extentional predicate)
Vị từ mở rộng là vị từ mà các biến của nó được lưu trữ trong cơ sở dữ liệu dưới dạng các bộ.
Một cơ sở dữ liệu đƣợc thao tác bằng các chƣơng trình logic đƣợc tạo nên bằng một dãy các mệnh đề Horn, cũng định nghĩa các vị từ mục tiêu. Một vị từ mục tiêu đƣợc định nghĩa bằng một chƣơng trình các quy tắc
logic; nó tƣơng ứng với một khung nhìn của mô hình quan hệ.
Khái niệm 2.3 Vị từ mục đich (intensional predicate)
Vị từ mục đích là vị từ được tính toán bởi một chương trình bao gồm các quy tắc logic mà các biến của chúng không được lưu trữ trong cơ sở dữ liệu.
Một cơ sở dữ liệu logic đƣợc xây dụng nên từ một tập hợp các vị từ mở rộng tạo nên cơ sở dữ liệu mở rộng và một tập hợp các vị từ mục đích tạo nên cơ sở dữ liệu mục đích. Các quy tắc cho phép tính toán các biến của các vị từ mục đích cũng là một phần tích hợp của cơ sở dữ liệu logic. Chúng đƣợc viết trong ngôn ngữ DATALOG dựa trên các mục của Horn. Hình 2.3 minh hoạ các khái niệm của cơ sở dữ liệu mở rộng và mục đích, cơ sở mục đích đƣợc suy diễn từ cơ sở dữ liệu mở rộng thông qua các quy tắc lƣu giữ trong siêu-cơ sở của hệ quản trị CSDL.