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