tailieunhanh - Bài giảng Cơ sở dữ liệu nâng cao: Bài 1.1 - PGS.TS. Đỗ Phúc
Bài giảng Cơ sở dữ liệu nâng cao: Bài trình bày các nội dung sau: Cơ sở dữ liệu suy diễn (CSDLSD), dạng luật trong CSDLSD, vị từ được suy và vị từ nền, luật không đệ qui, tạo dữ liệu qua phép AND, OR, NOT, suy diễn với luật không đệ qui Suy diễn với luật đệ qui. Đây là tài liệu học tập và giảng dạy dành cho sinh viên ngành tham khảo. | Bài 1, phần 1: Cơ sở dữ liệu suy diễn . Đỗ Phúc Khoa Hệ thống thông tin Trường Đại học Công nghệ Thông tin, ĐHQG-HCM 1 Nội dung Cơ sở dữ liệu suy diễn (CSDLSD) Dạng luật trong CSDLSD Vị từ được suy và vị từ nền Luật không đệ qui Tạo dữ liệu qua phép AND, OR, NOT Suy diễn với luật không đệ qui Suy diễn với luật đệ qui 2 Cơ sở dữ liệu suy diễn Cơ sở dữ liệu suy diễn tích hợp cơ sở dữ liệu và lập trình logic. Lập trình logic có thế mạnh là khả năng diễn đạt tri thức, ràng buộc toàn vẹn. Cơ sở dữ liệu có khả năng quản trị dữ liệu, bảo mật dữ liệu. Cơ sở dữ liệu suy diễn có khả năng sử dụng các tính năng của lập trình logic để thực hiện các suy diễn nhằm tạo ra thông tin mới dựa trên các luật suy diễn và dữ liệu được lưu trữ trong cơ sở dữ liệu. 3 Dạng luật trong CSDLSD Luật có dạng tổng quát: H: - G1 & G2 & Gk Với H là phần đầu hay kết luận của luật. G1 & G2 & Gk là phần thân của luật. Các Gk là đích con hay tiền đề của luật. 4 Luật suy diễn parent(X,Y): - father(X,Y) | mother(X,Y) Với father, mother, parent là các vị từ X,Y là các biến. Mỗi vị từ p(X,Y,Z) ứng với một quan hệ P(X,Y,Z) trong .
đang nạp các trang xem trước
