Bài giảng Cơ sở dữ liệu: Chương 3 - ThS. Hoàng Mạnh Hà

Mục tiêu chính của chương 3 Mô hình dữ liệu thuộc bài giảng Cơ sở dữ liệu nhằm trình bày về đại số quan hệ, phép toán tập hợp, phép chọn, phép chiếu, phép chia...
Nội dung trích xuất từ tài liệu:
Bài giảng Cơ sở dữ liệu: Chương 3 - ThS. Hoàng Mạnh Hà Cơ sở dữ liệuĐại số quan hệThs. Hoàng Mạnh Hàhoangha84@gmail.comhttps://sites.google.com/site/hoangha84Nội dung 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 (Rene Des-Cartes) Phép kết Phép chia Các phép toán khác2Các thao tác cậpSGUật trên quanChệở dữ liệu nh - Khoa CNTT - ơ sGiới thiệu Xét một số xử lý trên quan hệ NHANVIEN Thêm mới một nhân viên Chuyển nhân viên có tên là “Tùng” sang phòng số 1 Cho biết họ tên và ngày sinh các nhân viên có lương trên 20000 TENNV HONV NGSINH DCHI PHAI LUONG PHONG Tung Nguyen 12/08/1955 638 NVC Q5 Nam 40000 1 5 Hang Bui 07/19/1968 332 NTH Q1 Nu 25000 4 Nhu Le 06/20/1951 291 HVH QPN Nu 43000 4 Hung Nguyen 09/15/1962 Ba Ria VT Nam 38000 5 Quang Pham 11/10/1937 450 TV HN Nam 15000 13 SGU - Khoa CNTT - Cơ sở dữ liệuGiới thiệu 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 (query) Thực hiện các xử lý  Đại số quan hệ (Relational Algebra)  Biểu diễn câu truy vấn dưới dạng biểu thức  Phép tính quan hệ (Relational Calculus)4 SGU - Khoa CNTT - Cơ sở dữ liệu  Biểu diễn kết quảĐại số số học Đại số  Toán tử (operator)  Toán hạng (operand) 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)5 SGU - Khoa CNTT - Cơ sở dữ liệuĐại số quan hệ Biến là các quan hệ  Tập hợp (set) Toán tử là các phép toán (operations)  Trên tập hợp  Hội  (union)  Giao  (intersect)  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ệ6 SGU - Khoa CNTT - Cơ sở dữ liệu  Tích Cartesian  (Cartesian product)Các toán tử trong đại số quan hệ7 SGU - Khoa CNTT - Cơ sở dữ liệuĐại số quan hệ Hằng số là một thể hiện của quan hệ cụ thể (r). Biểu thức  Được gọi là câu truy vấn  Là chuỗi các phép toán đại số quan hệ  Kết quả trả về là một thể hiện của quan hệ8 SGU - Khoa CNTT - Cơ sở dữ liệuPhép toán tập hợp Quan hệ là tập hợp các bộ  Phép hội R  S  Phép giao R  S  Phép trừ R  S Tính khả hợp (Union Compatibility)  Hai lược đồ quan hệ R(A1, A2, …, An) và S(B1, B2, …, Bn) là khả hợp nếu:  Cùng bậc n  Và có DOM(Ai)=DOM(Bi) , 1 i  n9Kết quả của , , và -Khoamột quanshệữcó u SGU là CNTT - Cơ ở d liệ cùng tên thuộcPhép toán tập hợp Ví dụNHANVIEN TENNV NGSINH PHAI Tung 12/08/1955 Nam Hang 07/19/1968 Nu Nhu 06/20/1951 Nu Hung 09/15/1962 Nam THANNHAN TENTN NGSINH PHAITN Trinh 04/05/1986 Nu Bậ c n = 3 Khang 10/25/1983 Nam Phuong 05/03/1958 Nu DOM(TENNV) = DOM(TENTN) Minh 02/28/1942 Nam DOM(NGSINH) = DOM(NGSINH) Chau 12/30/1988 Nu DOM(PHAI) = DOM(PHAITN)10 SGU - Khoa CNTT - Cơ sở dữ liệuPhép hội Cho 2 quan hệ R và S khả hợp Phép hội của R và S  Ký hiệu R  S hoặc 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{ tp/ sẽ b tS )} R  S = ắ tR ị bỏ Ví dụ RS A B R A B S A B  1  2  1  2  3  2  1  1  2  311 SGU - Khoa CNTT - Cơ sở dữ liệuPhép hội Ví dụ SinhVienKhoaCNTT SinhVienKhoaToánTin MASV TENSV  MASV TENSV SV01 MinhTùng SV02 CaoThanh SV02 CaoThanh SV04 MinhQuân SV03 KimLoan SV05 AnhThoại MASV TENSV Kết quả SV01 MinhTùng SV02 CaoThanh SV03 KimLoan SV04 MinhQuân SV05 AnhThoại12 SGU - Khoa CNTT - Cơ sở dữ liệuPhép giao Cho 2 quan hệ R và S khả hợp Phép giao của R và S  Ký hiệu R  S hoặc R * S  Là một quan hệ gồm các bộ thuộc R đồng thời thuộc S R  S = { t / tR  tS } Ví dụ R A B S A B RS A B  1  2  2  2  3  113 SGU - Khoa CNTT - Cơ sở dữ liệuPhép giao Ví dụ KhoaCNTT ...