Đang tải... (xem toàn văn)
Bài giảng môn Cơ sở dữ liệu: Chương 4 giới thiệu về Đại số quan hệ, bài giảng có nội dung trình bày về đại số quan hệ, giới thiệu về đạ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, các phép toán khác, các thao tác cập nhật trên quan hệ. Mời các bạn cùng tham khảo bài giảng.
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" " 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$ " 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" ©"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" Đạ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" - - - - Tốn"tử:"+,"/,"*,"/" Tố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.""" / "Quan"hệ":"NhanVien,"…" / "Thể"hiện"của"quan"hệ":"t,"v,"…"" /"Thao"tác"xử"lý"giữa"các"tố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" ©"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)" " 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"tố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!toá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" - 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" 12 Phép!hội!(8)! SinhVien' HOTEN' Đinh B‡ Tiến Nguyễn Thanh T•ng L• Quỳnh Như Phép!giao! 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)! SinhVien' HOTEN' Đinh B‡ Tiến Nguyễn Thanh T•ng L• Quỳnh Như A B A B α s α α β β r∩s A B α 14 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" Phép!trừ! GiaoVien' DIACHI' 119 Cống Quỳnh, Tp HCM 222 Nguyễn Văn Cừ, Tp HCM 291 Hồ Văn Hu•, Tp HCM r ∩ s = { t / t∈r ∧ t∈s } ! Ví"dụ" 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" r - s = { t / t∈r ∧ t∉s } ! Ví"dụ" 15 A B A B A B α s α α α β β β ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" r-s 16 Phép!trừ!(8)! SinhVien' HOTEN' Đinh B‡ Tiến Nguyễn Thanh T•ng L• Quỳnh Như Các!Enh!chất! 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" 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" 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" 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 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" π " " PhŽp chiếu m, n>=m 27 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 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Đ,"≤,"≥$ - Kết"tự"nhiên"(Natural"join)" - Kết"có"điều"kiện"tổng"quát"(Theta"join)" - Kết"bằng"(Equi"join)" ! 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" MACĐ 51 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 52 Phép!kết!(8)! Phép!kết!(8)! ! Phân"loại" ! Ví"dụ"phép"kết"theta" - Kết"theta"(theta"join)"là"phép"kết"có"điều"kiện"" " Ký"hiệu"r""""""C"s" " C"gọi"là"điều"kiện"kết"trên"thuộc"tính" r r - Kết"bằng"(equi"join)"khi"C"là"điều"kiện"so"sánh"bằng" A B C 53 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" E A B C D E 3 1 3 6 2 6 r C s = Phép!kết!(8)! ! Ví"dụ"phép"kết"bằng" ! Ví"dụ"phép"kết"tự"nhiên" r A B C s s D E A B C D E 3 1 3 6 6 r r C=D S C=s.C C(r ì s) 54 â"B mn HTTT - Khoa CNTT - Trường ĐH KHTN" Phép!kết!(8)! r s D - Kết"tự"nhiên"(natural"join):"khi"hai"thuộc"tính"trong"điều"kiện" kết"bằng"C"có"tên"giống"nhau." " Ký"hiệu""r"""""""s"""hay"""r"*"s" " R+"∩"S+"≠$∅$ " Quan"hệ"kết"quả"của"phép"kết"bằng"có"tập"thuộc"tính"là"hội" tập"thuộc"tính"của"r"và"s"bỏ"bớt"đi"1"thuộc"tính"giống"nhau" s Bs)"$(s>r))" C(rìs)" " r""""""C"s"=" â"B mn HTTT - Khoa CNTT - Trường ĐH KHTN" 63 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 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" 001" 67 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 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$toá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" 71 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 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 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" ℑSUM(C)(r) A A SUM_C α 14 β γ 10 75 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 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! 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" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" ! 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" 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ó." ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 82 nhiệm"nếu"có" 83 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 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" ← 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" 86 ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" Thao!tác!thêm! rnew cc php ton trãn rold 87 â"B mn HTTT - Khoa CNTT - Trường ĐH KHTN" σ MAGV=Ô001Õ(THAMGIAĐT) 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" 89 MAGV, MAĐT, STT, PHUCAP*1.5(THAMGIAĐT) ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 90 ... &&(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" ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" / "Chuỗi"các"phép"toán"đại"số"quan"... β 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" 39 ©"Bộ m™n HTTT - Khoa CNTT - Trường... B2:"Chn"ra"nhng"b"tha"TRUONGBM"="MAGV" KQ â"B mn HTTT - Khoa CNTT - Trường ĐH KHTN" 43 σ TRUONGBM=MAGV(BM_GV) ©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN" 44 Vớ!d!7! GIỗOVIổN BMùN MèGV HTổN ẫ NGậYSINH