tailieunhanh - Giáo trình Cơ sở dữ liệu 2: Phần 2 - ĐH Thái Nguyên

Phần 2 Giáo trình Cơ sở dữ liệu 2 trình bày cơ sở dữ liệu suy diễn và cơ sở dữ liệu hướng đối tượng. Tham khảo nội dung 2 phần giáo trình để nắm bắt nội dung chi tiết. | CHƯƠNG II 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 Da te 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 đề Hom. 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ồm Kí pháp toán học để mô tả hình thức dữ liệu và các .