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 1.2 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. Mời các bạn cùng tham khảo.
Nội dung trích xuất từ tài liệu:
Bài giảng Cơ sở dữ liệu nâng cao: Bài 1.2 - PGS.TS. Đỗ PhúcBài 1, Phần 2: Cơ sở dữ liệusuy diễn, DatalogPGS.TS. Đỗ PhúcKhoa Hệ thống thông tinTrường Đại học Công nghệ Thông tin, ĐHQG-HCM1CSDL so với diễn giảiMô 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ếtNgôn ngữ SQLa) 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 >= 102Mô hình quan hệ dựa trên logicQuan hệ được định nghĩa dưới dạng các côngthứ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ừ EDBperson(0111,’Albert’,xage,xsalary)+ Các vị từ IDBperson(x,y,z,45) :- person(X,Y,Z,W) & W >= 35„3Ý nghĩa của luậtBa 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án4Diễ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ừ EDBvà IDBPhép phủ địnhVị từ khẳng định: ví dụ: age(Albert,30)Vị từ phủ định: ví dụ: ~age(Albert,30)5