Đang tải... (xem toàn văn)
Bài giảng Cơ sở dữ liệu - Chương 4: Đại số quan hệ cung cấp cho người học các kiến thức: Giới thiệu, đại số quan hệ, phép toán tập hợp, phép chọn, phép chiếu, phép tính Cartesian, phép kết, phép chia,... Mời các bạn cùng tham khảo.
Nội!dung!chi!2ết! ! ! ! ! ! ! ! ! ! ! ! Đại!số!quan!hệ! CHƯƠNG'4' 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""" Giới"thiệu" Đại"số"quan"hệ" Phép"tốn"tập"hợp" Phép"chọn" Phép"chiếu" Phép"tích"Cartesian" Phép"kết" Phép"chia" Các"phép"tốn"khác" Các"thao"tác"cập"nhật"trên"quan"hệ" Giới!thiệu! Giới!thiệu!(8)! ! Xét"một"số"xử"lý"trên"quan"hệ"KHOA" ! Có"2"loại"xử"lý:" - Làm"thay"đổi"dữ"liệu"(cập"nhật):"thêm"mới,"xóa"và"sửa" - Khơng"làm"thay"đổi"dữ"liệu"(rút"trích):"truy"vấn" - Thêm"Khoa"‘Hóa"học’"vào"quan"hệ" - Chuyển"Khoa"CNTT"sang"phịng"B12" NĂMTL PHñNG ĐIỆNTHOAI TRƯỞNGKHOA NGËYNHẬNCHỨC C™ng nghệ th™ng tin 1995 B12 B11 0838123456 002 20/02/2005 VL Vật lý 1976 B21 0838223223 005 18/09/2003 SH Sinh học 1980 B31 0838454545 004 11/10/2000 HH H—a học 1980 B41 NULL 007 15/10/2001 MÌKHOA TỉNKHOA CNTT ! Ngơn"ngữ"truy"vấn"(Query&Language&–&QL):"" - Cho"phép"người"dùng"rút"trích"hay"cập"nhật"dữ"liệu"được"lưu"trong" một"mơ"hình"dữ"liệu" ! Ngơn"ngữ"truy"vấn"quan"hệ:" - Đại"số"quan"hệ"(Relational&Algebra)" " - Cho"biết"tên"các"khoa"được"thành"lập"từ"năm"1980" " " Sinh"học" Biểu"diễn"kết"quả"phi"thủ"tục"dựa"trên"ngơn"ngữ"logic,"cho"phép"người"dùng"diễn" đạt"cái"họ"cần"hơn"là"thao"tác"xử"lý"nó" - SQL"(Structured&Query&Language)" Hóa"học" CuuDuongThanCong.com Biểu"diễn"câu"truy"vấn"dưới"dạng"biểu"thức,"cho"phép"người"dùng"biểu"diễn"các" bước"thực"hiện"câu"truy"vấn" - Phép"tính"quan"hệ"(Relational&Calculus)" TÊNKHOA$ ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt Đại!số! Đại!số!quan!hệ! ! Đại"số" ! Biến"là"các"quan"hệ"" - Tập$hợp"(set)" - Toán"tử"(operator)" - Toán"hạng"(operand)" ! Toán"tử"là"các"phép"toán"(operations)" - Trên"tập"hợp" " Hội"""∪"(union)" " Giao"∩"(intersec)" " Trừ""">""(difference)" - Rút"trích"1"phần"của"quan"hệ" " Chọn""σ""(selection)" " Chiếu""π""(projection)" - Kết"hợp"các"quan"hệ" " Tích"Cartesian""×""(Cartesian"product)" " Kết""""""""(join)" ! Trong"số"học" - - - - Toán"tử:"+,"/,"*,"/" Toán"hạng"/"biến"(variables):"x,"y,"z" Hằng"(constant)" Biểu"thức" " (x+7)"/"(y/3)" " (x+y)*z""and/or"(x+7)"/"(y/3)" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" Đại!số!quan!hệ!(8)! Đại!số!quan!hệ!(8)! Phép"toán"đại"số" " ! Khi"dùng"đại"số"quan"hệ,"một"nhu"cầu"truy"vấn"được"thể" hiện"qua"một"biểu"thức"đại"số"quan"hệ:" Toán"hạng" / "Biến":"x,"y,"z,"…" / "Hằng"số":"150,"…" - Kết"quả"trả"về"là"một$thể$hiện$của"quan"hệ" - Có"thể"là"một"chuỗi"các"phép"tốn"đại"số"quan"hệ" - Theo"thứ"tự"thực"hiện"của"các"tốn"tử,"kết"quả"của"tốn"tử" thực"hiện"trước"là"đầu"vào"cho"tốn"tử"thực"hiện"kế"tiếp.""" CuuDuongThanCong.com / "Quan"hệ":"NhanVien,"…" / "Thể"hiện"của"quan"hệ":"t,"v,"…"" /"Thao"tác"xử"lý"giữa"các"toán" /"Thao"tác"xử"lý"giữa"các"quan"hệ" hạng"để"tạo"thành"giá"trị"mới":"+,"/," để"tạo"thành"quan"hệ"mới":"phép& *,"/,"…" chọn&σ,&hội&∪&,&…" " Biểu"thức" / "Chuỗi"các"phép"toán"đại"số" / "Kết"quả"cho"ra"một"giá"trị"mới" " Phép"tốn"đại"số"quan"hệ" Tốn"tử" &&& &&(x+7)&/&(yE3)& &&(x+y)*z&&and/or&(x+7)&/&(yE3)& ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" / "Chuỗi"các"phép"toán"đại"số"quan" hệ"(câu"truy"vấn)" / "Kết"quả"cho"ra"một"quan"hệ"mới" π & MANV (NHANVIEN)" " ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt Nội!dung!chi!2ết! Phép!toán!tập!hợp! ! ! ! ! ! ! ! ! ! ! ! Quan"hệ"là"tập"hợp"các"bộ" Giới"thiệu" Đại"số"quan"hệ" Phép$tốn$tập$hợp" Phép"chọn" Phép"chiếu" Phép"tích"Cartesian" Phép"kết" Phép"chia" Các"phép"toán"khác" Các"thao"tác"cập"nhật"trên"quan"hệ" - Phép"hội""r"∪"s" - Phép"giao""r"∩"s" - Phép"trừ""r">"s" ! Tính"khả"hợp"(Union"Compatibility)" - Cho"hai"lược"đồ"quan"hệ"R(A1,"A2,"…,"An)"và"S(B1,"B2,"…,"Bn)," r(R),"s(S)."Hai"quan"hệ"r"và"s"là"khả"hợp"nếu" " R"và"S"có"cùng"bậc"n" " Và"có"DOM(Ai)=DOM(Bi)","1≤"i"≤"n" ! Kết"quả"phép"tốn"∪,"∩,"hoặc">"của"r"và"s"là"một"quan$hệ$có" các"thuộc"tính"cùng"tên"với"các"thuộc"tính"của"quan"hệ"r." ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" Phép!tốn!tập!hợp!(8)! Phép!hội! ! Ví"dụ"hai"quan"hệ"khả"hợp" ! Cho"2"quan"hệ"r"và"s"khả"hợp" ! Phép"hội"của"r"và"s" SINHVIEN TENSV NGSINH PHAI Tung 12/08/1955 Hang Nhu Hung GIAOVIEN TENGV NG_SINH GIOITINH Nam Trinh 04/05/1986 Nu 07/19/1968 Nu Khang 10/25/1983 Nam 06/20/1951 Nu Phuong 05/03/1958 Nu 09/15/1962 Nam Minh 02/28/1942 Nam Chau 12/30/1988 Nu ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com - Ký"hiệu"r"∪"s" - Là"một"quan"hệ"gồm"các"bộ"thuộc"r"hoặc"thuộc"s,"hoặc"cả"hai" (các"bộ"trùng"lắp"sẽ"bị"loại"bỏ)" r ∪ s = { t / t∈r ∨ t∈s } ! Ví"dụ" r Bậc n=3 DOM(TENSV) = DOM(TENGV) DOM(NGSINH) = DOM(NG_SINH) DOM(PHAI) = DOM(GIOITINH) A B α α β 11 10 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" s B α α β α β B α β r∪s A A ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 12 Phép!hội!(8)! Phép!giao! SinhVien' HOTEN' Đinh B‡ Tiến Nguyễn Thanh T•ng L• Quỳnh Như GiaoVien' DIACHI' 119 Cống Quỳnh, Tp HCM 222 Nguyễn Văn Cừ, Tp HCM 291 Hồ Văn Hu•, Tp HCM HOTEN' Đinh B‡ Tiến Trần Thanh T‰m ! Cho"2"quan"hệ"r"và"s"khả"hợp" ! Phép"giao"của"r"và"s" DIACHI' 119 Cống Quỳnh, Tp HCM 553 Mai Thị Lựu, Tp HCM - Ký"hiệu"r"∩"s" - Là"một"quan"hệ"gồm"các"bộ"thuộc"r"đồng"thời"thuộc"s" SinhVien'∪!GiaoVien'' HOTEN' Đinh B‡ Tiến Nguyễn Thanh T•ng L• Quỳnh Như Trần Thanh T‰m DIACHI' 119 Cống Quỳnh, Tp HCM 222 Nguyễn Văn Cừ, Tp HCM 291 Hồ Văn Hu•, Tp HCM 553 Mai Thị Lựu, Tp HCM r 13 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" Phép!giao!(8)! A B A B α s α α β β r∩s A B α 14 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" Phép!trừ! SinhVien' HOTEN' Đinh B‡ Tiến Nguyễn Thanh T•ng L• Quỳnh Như r ∩ s = { t / t∈r ∧ t∈s } ! Ví"dụ" GiaoVien' DIACHI' 119 Cống Quỳnh, Tp HCM 222 Nguyễn Văn Cừ, Tp HCM 291 Hồ Văn Hu•, Tp HCM HOTEN' Đinh B‡ Tiến Trần Thanh T‰m ! Cho"2"quan"hệ"r"và"s"khả"hợp" ! Phép"giao"của"r"và"s" DIACHI' 119 Cống Quỳnh, Tp HCM 553 Mai Thị Lựu, Tp HCM - Ký"hiệu"r"/"s" - Là"một"quan"hệ"gồm"các"bộ"thuộc"R"và"không"thuộc"S" SinhVien'∩$GiaoVien'' HOTEN' Đinh B‡ Tiến DIACHI' 119 Cống Quỳnh, Tp HCM r ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com r - s = { t / t∈r ∧ t∉s } ! Ví"dụ" 15 A B A B A B α s α r-s α α β β β ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 16 Phép!trừ!(8)! Các!Enh!chất! SinhVien' HOTEN' Đinh B‡ Tiến Nguyễn Thanh T•ng L• Quỳnh Như GiaoVien' DIACHI' 119 Cống Quỳnh, Tp HCM 222 Nguyễn Văn Cừ, Tp HCM 291 Hồ Văn Hu•, Tp HCM HOTEN' Đinh B‡ Tiến Trần Thanh T‰m ! Giao"hoán" DIACHI' 119 Cống Quỳnh, Tp HCM 553 Mai Thị Lựu, Tp HCM r∪s=s∪r r∩s=s∩r SinhVien'–!GiaoVien'' HOTEN' DIACHI' Nguyễn Thanh T•ng 222 Nguyễn Văn Cừ, Tp HCM L• Quỳnh Như 291 Hồ Văn Hu•, Tp HCM ! Kết"hợp" r ∪ (s ∪ t) = (r ∪ s) ∪ t r ∩ (s ∩ t) = (r ∩ s) ∩ t ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 17 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" Các!Enh!chất! Nội!dung!chi!2ết! ! Giao"hoán" ! ! ! ! ! ! ! ! ! ! r∪s=s∪r r∩s=s∩r ! Kết"hợp" r ∪ (s ∪ t) = (r ∪ s) ∪ t r ∩ (s ∩ t) = (r ∩ s) ∩ t ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com 19 18 Giới"thiệu" Đại"số"quan"hệ" Phép"toán"tập"hợp" Phép$chọn$ Phép"chiếu" Phép"tích"Cartesian" Phép"kết" Phép"chia" Các"phép"tốn"khác" Các"thao"tác"cập"nhật"trên"quan"hệ" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 20 Phép!chọn! Phép!chọn!(8)! ! Được"dùng"để"lấy"ra"các"bộ"của"quan"hệ"r"thỏa"mãn"điều" ! Kết"quả"trả"về"là"một"quan"hệ"" ! kiện"chọn"P" Ký"hiệu" σ - Có"cùng"danh"sách"thuộc"tính"với"r" - Có"số"bộ"ln"ít"hơn"hoặc"bằng"số"bộ"của"r" P (r) ! Ví"dụ" σ ! P"là"biểu"thức"gồm"các"mệnh"đề"có"dạng" - ""5) (r) 22 Giới"thiệu" Đại"số"quan"hệ" Phép"toán"tập"hợp" Phép"chọn" Phép$chiếu$ Phép"tích"Cartesian" Phép"kết" Phép"chia" Các"phép"tốn"khác" Các"thao"tác"cập"nhật"trên"quan"hệ" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 24 Phép!chiếu! Phép!chiếu!(8)! ! Được"dùng"để"lấy"ra"một"vài"cột"của"quan"hệ"r" ! Ký"hiệu" ! Phép"chiếu"khơng"có"tính"giao"hốn" π A1, A2, …, Ak(r) π X,Y (r) ! Kết"quả"trả"về"là"một"quan"hệ"" - Có"k"thuộc"tính" - Có"số"bộ"ln"ít$hơn"hoặc"bằng"số"bộ"của"r" ! Ví"dụ" π A1, A2, …, An( π A,C (r) r πA,C (r) A B C A C α 10 α 1 β β α 20 β 30 β 40 25 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" X π A1, A2, …, Am(r)) Y = (r)) π A1, A2, …, An (r) , với n ≤ m ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 26 ! Cho"biết"họ"tên"và"mức"lương"của"các"giáo"viên"nữ" A1,"A2,"A3"…,"An" A1,"A2,"A3"…,"An" σ " " i π (π Ví!dụ!1! Phép!chọn!vs.!Phép!chiếu! PhŽp chọn = j, i>=j π σ HOTEN, LUONG ( PHAI=ÔNữÕ (GIAOVIEN)) A1,"A2,"A3"…,"An" A1,"A2,"A3"…,"Am" n " π " PhŽp chiếu m, n>=m ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com 27 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 28 Ví!dụ!2! Ví!dụ!3! ! Cho"biết"mã"số"các"giáo"viên"thuộc"bộ"mơn"HTTT"hoặc"có" ! Cho"biết"mã"số"các"trưởng"khoa"có"chủ"nhiệm"đề"tài" tham"gia"đề"tài"mã"001" π σ MAGV ( MABM=ƠHTTTÕ (GIAOVIEN)) ∪ π σ MAGV ( π TRUONGKHOA(KHOA) ∩ π GVCNĐT (ĐETAI) MAĐT=Ơ001Õ (TG_ĐETAI)) ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 29 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" Ví!dụ!4! Phép!chiếu!tổng!qt! ! Cho"biết"tên"các"cơng"việc"bắt"đầu"trong"khoảng"từ" ! Mở"rộng"phép"chiếu"bằng"cách"cho"phép"sử"dụng"các"phép" 01/01/2007"đến"01/08/2007" σ 30 tốn"số"học"trong"danh"sách"thuộc"tính" ! Ký"hiệu""πF1,"F2,"…,"Fn"(E)" (NGAYBĐ>=Ơ1/1/2007Õ ∧ NGAYBĐs)"$(s>r))" C(rìs)" " r""""""C"s"=" â"B mn HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com 63 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 64 Nội!dung!chi!2ết! Phép!chia! ! ! ! ! ! ! ! ! ! ! ! Được"dùng"để"lấy"ra"một"số"bộ"trong"quan"hệ"r"sao"cho" Giới"thiệu" Đại"số"quan"hệ" Phép"tốn"tập"hợp" Phép"chọn" Phép"chiếu" Phép"tích"Cartesian" Phép"kết" Phép$chia$ Các"phép"tốn"khác" Các"thao"tác"cập"nhật"trên"quan"hệ" ! - r(Z)"và"x(X)" " Z"là"tập"thuộc"tính"của"r,"X"là"tập"thuộc"tính"của"s" " X"⊆"Z" ! Kết"quả"của"phép"chia"là"một"quan"hệ"t(Y)"" - Với"Y=Z/X" - Có"t0"là"một"bộ"của"t"nếu"với"mọi"bộ"tS∈S,"tồn"tại"bộ"tR∈R" thỏa"2"điều"kiện" " tR(Y)"="t0" R(Z) S(X) T(Y) " tR(X)"="tS(X)" X Y 65 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" Phép!chia!(8)! ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 66 Ví!dụ!17! ! Ví"dụ" r thỏa"với"tất"cả"các"bộ"trong"quan"hệ"s" Ký"hiệu"r"Ư"s" ! Cho"biết"mã"giáo"viên"tham"gia"tất"cả"cơng"việc"thuộc"đề"tài" rƯs A B C D E D E A B C α a α a s a α a γ α a γ a b γ a γ α a γ b β a γ a β a γ b γ a γ a γ a γ b γ a β b ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com 001" 67 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 68 Ví!dụ!18! Phép!chia!(8)! ! Cho"biết"tên"đề"tài"có"tất"cả"giảng"viên"bộ"mơn"‘Hệ"thống" ! Biểu"diễn"phép"chia"thơng"qua"tập"đầy"đủ"các"phép"tốn" thơng"tin’"tham"gia" ĐSQH" Q1 ← π Y (r) Q2 ← Q1 × s Q3 ← π (Q2 - r) Y KQ ← Q1 - Q3 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 69 Nội!dung!chi!2ết! ! ! ! ! ! ! ! ! ! ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 70 Hàm!kết!hợp! Giới"thiệu" Đại"số"quan"hệ" Phép"tốn"tập"hợp" Phép"chọn" Phép"chiếu" Phép"tích"Cartesian" Phép"kết" Phép$chia" Các$phép$tốn$khác$ ! Nhận"vào"tập"hợp"các"giá"trị" ! Trả"về"một"giá"trị"đơn" ! Gồm" - - - - - AVG" MIN" MAX" SUM" COUNT" - Hàm"kết"hợp"(Aggregation"function)" - Phép"gom"nhóm"(Grouping)" - Phép"kết"ngồi"(Outer"join)" ! Các"thao"tác"cập"nhật"trên"quan"hệ" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com 71 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 72 Hàm!kết!hợp!(8)! Phép!gom!nhóm! ! Ví"dụ" r ! Được"dùng"để"phân"chia"quan"hệ"thành"nhiều"nhóm"dựa"trên" A B 2 ! SUM(B) = 10 AVG(A) = 1.5 MIN(A) = MAX(B) = COUNT(A) = ℑF1(A1), F2(A2), …, Fn(An)(E) G1, G2, …, Gn - - - - 73 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" điều"kiện"gom"nhóm"nào"đó" Ký"hiệu" Phép!gom!nhóm!(8)! E"là"biểu"thức"ĐSQH" G1,"G2,"…,"Gn"là"các"thuộc"tính"gom"nhóm" F1,"F2,"…,"Fn"là"các"hàm" A1,"A2,"…,"An"là"các"thuộc"tính"tính"tốn"trong"hàm"F" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 74 Ví!dụ!19! ! Ví"dụ ! Cho"biết"số"lượng"giáo"viên"viên"và"tổng"lương"của"họ" ℑSUM(C)(r) SUM_C r A B C α α β γ 10 27 ℑSUM(C)(r) A A SUM_C α 14 β γ 10 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com 75 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 76 Ví!dụ!20! Ví!dụ!21! ! Cho"biết"số"lượng"giáo"viên"và"lương"trung"bình"của"từng"bộ" ! Cho"biết"tên"khoa"có"đơng"giáo"viên"nhất" mơn" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 77 Ví!dụ!22! ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 78 Ví!dụ!23! ! Cho"biết"họ"tên"giáo"viên"chủ"nhiệm"nhiều"đề"tài"nhất" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com ! Cho"biết"tên"chủ"đề"và"số"lượng"đề"tài"thuộc"về"chủ"đề"đó" 79 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 80 Phép!kết!ngồi! Ví!dụ!24!g!a! ! Mở"rộng"phép"kết"để"tránh"mất"mát"thơng"tin" ! Cho"biết"họ"tên"giáo"viên"và"tên"bộ"mơn"họ"làm"trưởng"bộ" mơn"nếu"có" - Thực"hiện"phép"kết" - Lấy"thêm"các"bộ"khơng"thỏa"điều"kiện"kết" R1 ← GIAOVIEN ! Có"3"hình"thức" KQ ← - Mở"rộng"bên"trái"" - Mở"rộng"bên"phải"" - Mở"rộng"2"bên"" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 81 MAGV=TRUONGBM BOMON π HOTEN, TENBM (R1) HOTEN TENBM Nguyễn Hoˆi An Mạng m‡y t’nh Trần Trˆ Hương Hệ thống thng tin Nguyn Ngc ỗnh null â"B mn HTTT - Khoa CNTT - Trường ĐH KHTN" Ví!dụ!24!g!b! Ví!dụ!24!g!c! ! Cho"danh"sách"tên"bộ"mơn"và"họ"tên"trưởng"bộ"mơn"đ—"nếu" ! Cho"danh"sách"tên"giáo"viên"và"các"đề"tài"giáo"viên"đó"chủ" có." 82 nhiệm"nếu"có" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com 83 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 84 Nội!dung!chi!2ết! Các!thao!tác!cập!nhật! ! ! ! ! ! ! ! ! ! ! ! Nội"dung"của"CSDL"có"thể"được"cập"nhật"bằng"các"thao"tác" Giới"thiệu" Đại"số"quan"hệ" Phép"tốn"tập"hợp" Phép"chọn" Phép"chiếu" Phép"tích"Cartesian" Phép"kết" Phép$chia" Các"phép"tốn"khác" Các"thao"tác"cập"nhật"trên"quan"hệ" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" - Thêm"(insertion)" - Xóa"(deletion)" - Sửa"(updating)" ! Các"thao"tác"cập"nhật"được"diễn"đạt"thơng"qua"phép"tốn" gán" rnew 85 ← Thao!tác!xóa! ! Được"diễn"đạt"" ! Được"diễn"đạt"" ← rold ∪ E rnew - r"là"quan"hệ" - E"là"một"biểu"thức"ĐSQH" 86 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" Thao!tác!thêm! rnew c‡c phŽp to‡n tr•n rold ← rold - E - r"là"quan"hệ" - E"là"một"biểu"thức"ĐSQH" ! Ví"dụ" ! Ví"dụ" - Phân"cơng"giáo"viên"có"mã"001"tham"gia"cơng"việc"4"của"đề" tài"số"001"với"mức"phụ"cấp"2" - Xóa"phân"cơng"tham"gia"đề"tài"cho"giáo"viên"001" THAMGIAĐT ← THAMGIAĐT - THAMGIAĐT ← THAMGIAĐT ∪ (Ơ001Õ, Ơ001Õ, 4, 2) ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com 87 σ MAGV=Ơ001Õ(THAMGIAĐT) ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 88 Ví!dụ!25! Thao!tác!sửa! ! Xóa"các"đề"tài"thuộc"chủ"đề"‘NCPT’" ! Được"diễn"đạt"" rnew ← πF1, F2, …, Fn (rold) - r"là"quan"hệ" - Fi"là"biểu"thức"tính"tốn"cho"ra"giá"trị"mới"của"thuộc"tính" ! Ví"dụ" - Tăng"mức"phụ"cấp"cho"các"đề"tài"của"tất"cả"giáo"viên"lên"1.5" lần" π THAMGIAĐT ← ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com 89 MAGV, MAĐT, STT, PHUCAP*1.5(THAMGIAĐT) ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 90 ... KQ ← ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com 43 σ TRUONGBM=MAGV(BM_GV) ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" https://fb.com/tailieudientucntt 44 Vớ!d!7! GIỗOVIổN... 2500 - 003 Nguyễn Ngọc Anh 11/05/1975 HTTT Nu 2200 - 0 04 Trương Nam Sơn 20/06/1959 VS Nam 2300 41 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" Ví!dụ!6!(8)! HOTEN TRUONGBM ©"Bộ m™n HTTT - Khoa. .. r×s D α 10 + β 10 + β 20 - γ 10 - A R.B X S.B C D α α 10 + α β 10 + α β 20 - α γ 10 - β α 10 + β β 10 + β β 20 - β γ 10 - ρ(X,C,D) (s) ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" CuuDuongThanCong.com