Bài giảng Cơ sở dữ liệu - Chương 6: Phép tính quan hệ (Ngôn ngữ tân từ) cung cấp cho học viên những kiến thức về lý thuyết logic; phép tính quan hệ trên bộ: Tuple Relational Calculus (TRC); phép tính quan hệ trên miền: Domain Relational Calculus (DRC); . Mời các bạn cùng tham khảo! | CHƯƠNG 6 Phép tính quan hệ Ngôn ngữ tân từ 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 Nội dung Giới thiệu Nhắc lại về lý thuyết logic Phép tính quan hệ trên bộ - Tuple Relational Calculus TRC Phép tính quan hệ trên miền - Domain Relational Calculus DRC Bộ môn HTTT - Khoa CNTT - Trường ĐH KHTN 2 1 Nội dung Giới thiệu Nhắc lại về lý thuyết logic Phép tính quan hệ trên bộ Phép tính quan hệ trên miền Bộ môn HTTT - Khoa CNTT - Trường ĐH KHTN 3 Giới thiệu tt Ngôn ngữ truy vấn hình thức dựa trên lý thuyết logic do Codd đề nghị năm 1972 Sử dụng biểu thức logic để định nghĩa hình thức kết quả câu truy vấn - Dựa trên lý thuyết logic - Phi thủ tục - Rút trích cái gì hơn là làm thế nào Khả năng diễn đạt tương đương ĐSQH Bộ môn HTTT - Khoa CNTT - Trường ĐH KHTN 4 2 Giới thiệu tt Phân loại - Phép tính quan hệ trên bộ Biến thiên trên bộ trong quan hệ SQL Structured Query Language - Phép tính quan hệ trên miền Biến thiên trên thành phần miền giá trị QBE Query By Example Bộ môn HTTT - Khoa CNTT - Trường ĐH KHTN 5 Nội dung Giới thiệu Nhắc lại về lý thuyết logic Phép tính quan hệ trên bộ Phép tính quan hệ trên miền Bộ môn HTTT - Khoa CNTT - Trường ĐH KHTN 6 3 Nhắc lại về lý thuyết logic Biểu thức logic phát biểu luôn có giá trị đúng hay sai - Bây giờ là tháng 8. - 1 gt 5 phát biểu hằng 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à hoặc - Lượng từ - tồn tại với mọi - Công thức các biểu thức xây dựng dựa trên biểu thức logic - Bộ môn HTTT - Khoa CNTT - Trường ĐH KHTN 7 Nhắc lại về lý thuyết logic Một số ví dụ về 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 8 4 Nội dung Giới thiệu Nhắc lại về lý thuyết logic Phép tính quan hệ trên bộ Phép tính quan hệ trên miền Bộ môn HTTT - Khoa CNTT - Trường ĐH KHTN 9 Phép tính quan hệ trên bộ Biểu thức phép tính quan hệ trên bộ có dạng P t - t là biến bộ Có giá trị là một bộ
