tailieunhanh - Giáo trình Hệ cơ sở dữ liệu phân tán và suy diễn: Phần 2 - Nguyễn Văn Huân, Phạm Việt Bình

Giáo trình Hệ cơ sở dữ liệu phân tán và suy diễn: Phần 2 có nội dung trình bày cơ sở dữ liệu suy diễn, cơ sở dữ liệu hướng đối tượng, thực hành một số ứng dụng. Mời bạn đọc tham khảo nội dung phần 2 tài liệu để hiểu về các cơ sở dữ liệu trên. | CHƯƠNG HI Cơ SỞ DỮ LIỆU SUY DIÊN . GIÓI THIỆU CHUNG - Khái niệm về CSDL suy diễn được nhiều nhà nghiên cứu đề cập đến theo hướng phát triển các kết quả mà Green đã đạt được vào năm 1969 về các hệ thống câu hỏi - trả lời. - Xuất phát từ quan điểm lý thuyết các CSDL suy diễn có thể được coi như các chương trình logic với sự khái quát hoá khái niệm về CSDL quan hệ. Đó là cách tiếp cận của Brodie và Manola vào năm 1989 của Codd vào năm 1970 cùa Date vào năm 1986 của Gardarin và Valdurier vào năm 1989 và của Ullman vào năm 1984 - Lập trình logic là mảng công việc trước tiên khi chứng minh định lý cơ học. Sự thật thì việc chứng minh định lý đã tạo nên cơ sở cho hầu hết hệ thống lập trình logic hiện nay. Tư tưởng cơ bản của lập trình logic là sử dụng logic toán học như ngôn ngữ lập trình. Điều này được đề cập trong tài liệu cùa Kowaski năm 1970 và được Colmerauer đưa vào thực hành năm 1975 trong các cài đặt ngôn ngữ lập trình logic đầu tiên tức là ngôn ngữ PROLOG PROgramming LOGic . Nhờ sự hình thức hoá Kowalski đã xem xét tập con của các logic bậc một gọi là logic mệnh đề Horn. Một câu hay một mệnh đề theo logic có thể có nhiều điều kiện đúng nhưng chỉ có một hay không có kết luận đúng. - Đối với nhu cầu thực hành CSDL suy diễn xử lý các câu không phức tạp như các câu trong hệ thống lập trình logic số các luật tức là sổ các câu với các điều kiện không trống trong CSDL suy diễn nhỏ hơn số các sự kiện tức các câu với điều kiện rỗng. - Một khía cạnh khác nhau nừa giữa CSDL suy diễn và lập trình logic là các hệ thống lập trình logic nhấn mạnh các chức năng trong khi CSDL suy diễn nhẩn mạnh tính hiệu quá. Cơ chế suy diễn dùng trong CSDL suy diễn đê tính toán trá lời không được tông quát như trong lập trình logic. -Ngoài việc dùng logic đế diễn tá các cáu CSDL người ta còn dùng logic đế diễn tá những cáu hòi và các điều kiện toàn vẹn. . Cơ SỞ Dữ LIỆU SUY DIỄN . Mô hình cơ sở dữ liệu suy diễn Mô hình dữ liệu gồirr Kí pháp toán học để mô tả hĩnh thức dữ liệu và các .