Ctt102 chuong 6 phep tinh quan he (2)

PowerPoint Presentation Bài giảng môn Cơ sở dữ liệu © Bộ môn Hệ Thống Thông Tin Khoa Công Nghệ Thông Tin Trường Đại học Khoa học Tự nhiên Bài giảng môn Cơ sở dữ liệu © Bộ môn Hệ Thống Thông Tin Khoa C[.]

CHƯƠNG Phép tính quan hệ (Relational Calculus - Ngơn ngữ tân từ) Bài giảng môn Cơ sở liệu © Bộ môn Hệ Thống Thông Tin - Khoa Công Nghệ Thông Tin - Trường Đại học Khoa học Tự nhiên Nội dung  Giới thiệu  Nhắc lại lý thuyết logic  Phép tính quan hệ - Tuple Relational Calculus (TRC)  Phép tính quan hệ miền - Domain Relational Calculus (DRC) © Bộ mơn HTTT - Khoa CNTT - Trường ĐH KHTN Nội dung  Giới thiệu  Nhắc lại lý thuyết logic  Phép tính quan hệ  Phép tính quan hệ miền © Bộ mơn HTTT - Khoa CNTT - Trường ĐH KHTN Giới thiệu (tt)  Ngơn ngữ truy vấn hình thức dựa lý thuyết logic Codd đề nghị năm 1972  Sử dụng biểu thức logic để định nghĩa hình thức kết câu truy vấn - Dựa lý thuyết logic - Phi thủ tục - Rút trích “cái gì” “làm nào”  Khả diễn đạt tương đương ĐSQH © Bộ mơn HTTT - Khoa CNTT - Trường ĐH KHTN Giới thiệu (tt)  Phân loại - Phép tính quan hệ  Biến thiên quan hệ  SQL (Structured Query Language) - Phép tính quan hệ miền  Biến thiên thành phần miền giá trị  QBE (Query By Example)  DataLog (Database Logic) ??? © Bộ mơn HTTT - Khoa CNTT - Trường ĐH KHTN Nội dung  Giới thiệu  Nhắc lại lý thuyết logic  Phép tính quan hệ  Phép tính quan hệ miền © Bộ mơn HTTT - Khoa CNTT - Trường ĐH KHTN Nhắc lại lý thuyết logic  Biểu thức logic : phát biểu có giá trị “đúng” hay “sai” - Bây tháng - > (phát biểu sai)  Các khái niệm : - Biến : đại lượng biến thiên x, y, z, … Phép toán logic  : phủ định,  : kéo theo,  : và,  : Lượng từ  : tồn tại,  : với Công thức : biểu thức xây dựng dựa biểu thức logic © Bộ mơn HTTT - Khoa CNTT - Trường ĐH KHTN Nhắc lại lý thuyết logic  Một số ví dụ công thức logic - P(t), P(t) , Q(t) P(t)  Q(t) t(P(t)) t(P(t)) © Bộ mơn HTTT - Khoa CNTT - Trường ĐH KHTN Nội dung  Giới thiệu  Nhắc lại lý thuyết logic  Phép tính quan hệ  Phép tính quan hệ miền © Bộ mơn HTTT - Khoa CNTT - Trường ĐH KHTN Phép tính quan hệ  Truy vấn biểu diễn biểu thức  Biểu thức phép tính quan hệ có dạng { t.A | P(t) } - t biến  Có giá trị quan hệ CSDL  t.A giá trị t thuộc tính A - P cơng thức có liên quan đến t  P(t) có giá trị ĐÚNG SAI phụ thuộc vào t - Kết trả tập t cho P(t) © Bộ môn HTTT - Khoa CNTT - Trường ĐH KHTN 10