Bài giảng Cơ sở dữ liệu nâng cao: Bài 1.1 - PGS.TS. Đỗ Phúc

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