tailieunhanh - Bài giảng Cơ sở dữ liệu nâng cao: Bài 1.2 - PGS.TS. Đỗ Phúc
Bài giảng Cơ sở dữ liệu nâng cao: Bài cung cấp cho người học các kiến thức: Mô hình quan hệ dựa trên logic, ý nghĩa của luật, diễn giải theo lý thuyết chứng minh, diễn giải luật theo lý thuyết mô hình, mô hình cực tiểu. . | Bài 1, Phần 2: Cơ sở dữ liệu suy diễn, Datalog . Đỗ Phúc Khoa Hệ thống thông tin Trường Đại học Công nghệ Thông tin, ĐHQG-HCM 1 CSDL so với diễn giải Mô hình quan hệ Quan hệ Khóa Các dạng chuẩn Ràng buộc toàn vẹn Đại số quan hệ : Chọn, chiếu, kết Ngôn ngữ SQL a) Truy vấn - Câu truy vấn mở: trả lời Y/N - Câu truy vấn đóng: trả về tập các bộ b) Views là quan hệ không được lưu trữ trong CSDL và được tạo qua các biểu thức SELECT Name,Age FROM Person WHERE Age >= 10 2 Mô hình quan hệ dựa trên logic Quan hệ được định nghĩa dưới dạng các công thức wff( well formed formulas) person(ols,name,age,salary) Hàm là trường hợp đặc biệt của quan hệ Các thông tin + Các vị từ EDB person(0111,’Albert’,xage,xsalary) + Các vị từ IDB person(x,y,z,45) :- person(X,Y,Z,W) & W >= 35 3 Ý nghĩa của luật Ba cách diễn giải luật: Diễn giải theo lý thuyết chứng minh Diễn giải theo lý thuyết mô hình Diễn giải theo tính toán 4 Diễn giải theo lý thuyết chứng minh Các tiên đề Thông tin tường minh, ví dụ age(Albert,20) Thông tin ẩn được suy từ các vị từ EDB và IDB Phép phủ định Vị từ khẳng định: ví dụ: age(Albert,30) Vị từ phủ định: ví dụ: .
đang nạp các trang xem trước
