Bài giảng "Cơ sở dữ liệu - Chương 6: Phép tính quan hệ" cung cấp cho người học các kiến thức: 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. nội dung chi tiết. | Bài giảng môn Cơ sở dữ liệu: Chương 6 - ĐH Khoa học Tự nhiên Nội'dung' ! Giới"thiệu" ! Nhắc"lại"về"lý"thuyết"logic" ' CHƯƠNG'6' ! Phép"tính"quan"hệ"trên"bộ" Phép'-nh'quan'hệ'' - Tuple"Relational"Calculus"(TRC)" (Ngôn'ngữ'tân'từ)' ! Phép"tính"quan"hệ"trên"miền" - Domain"Relational"Calculus"(DRC)" 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ộ môn HTTT - Khoa CNTT - Trường ĐH KHTN" 2$ Nội'dung' Giới'thiệu'(?)'' ! Giới$thiệu$ ! Ngôn"ngữ"truy"vấn"hình"thức"dựa"trên"lý"thuyết"logic"do" Codd"đề"nghị"năm"1972" ! Nhắc"lại"về"lý"thuyết"logic" ! Phép"tính"quan"hệ"trên"bộ" ! Sử"dụng"biểu"thức"logic"để"định"nghĩa"hình"thức"kết"quả"câu" truy"vấn" ! Phép"tính"quan"hệ"trên"miề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" 3$ ©"Bộ"môn"HTTT"/"Khoa"CNTT"/"Trường"ĐH"KHTN" 4$ Giới'thiệu'(?)'' Nội'dung' ! Phân"loại" ! Giới"thiệu" - Phép"tính"quan"hệ"trên"bộ" " .
