Bài giảng môn Cơ sở dữ liệu: Chương 4 - ĐH Khoa học Tự nhiên
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (443.92 KB, 23 trang )
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"
2
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
3
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
/>
4
Đạ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"phn"ca"quan"h"
" Chn""""(selection)"
" Chiu""""(projection)"
- Kt"hp"cỏc"quan"h"
" Tớch"Cartesian""ì""(Cartesian"product)"
" Kt""""""""(join)"
! Trong"s"hc"
-
-
-
-
Toỏn"t:"+,"/,"*,"/"
Toỏn"hng"/"bin"(variables):"x,"y,"z"
Hng"(constant)"
Biu"thc"
" (x+7)"/"(y/3)"
" (x+y)*z""and/or"(x+7)"/"(y/3)"
â"B m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
5
Đạ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"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"tốn"đại"số"
/ "Kết"quả"cho"ra"một"giá"trị"mới"
"
7
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"
6
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
/ "Chuỗi"các"phép"tố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"
/>
8
Nội!dung!chi!2ết!
Phép!tố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."
9
©"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
α
1
α
β
11
10
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
2
s
B
2
α
1
3
α
2
β
1
α
2
β
3
B
α
β
r∪s
A
A
1
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
/>
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
α
1
s
α
2
α
2
β
3
β
1
r∩s
A
B
α
2
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
α
1
s
α
2
r-s
α
1
α
2
β
3
β
1
β
1
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
/>
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"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"
/>
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"
- <tên"thuộc"tính>"
- <tên"thuộc"tính>"
r
"
" Các"mệnh"đề"được"nối"lại"nhờ"các"phép"∧","∨","Â$
21
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
A
B
C
D
A
B
C
D
α
α
1
7
α
α
1
7
α
β
5
7
β
β
23
10
β
β
12
3
β
β
23
10
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
Phép!chọn!(8)!
Nội!dung!chi!2ết!
! Phép"chọn"có"tính"giao"hốn"
!
!
!
!
!
!
!
!
!
!
σ (σ
p1
p2
(r)) =
σ (σ
p2
p1
(r)) =
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
CuuDuongThanCong.com
σ
p1 ∧ p2
(r)
23
(A=B)∧(D>5) (r)
22
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"
/>
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
α
1
1
β
1
β
2
α
20
β
30
1
β
40
2
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"
/>
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Đ<=Ơ1/8/2007Õ) (CONGVIEC)
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
CuuDuongThanCong.com
- E"là"biểu"thức"ĐSQH"
- F1,"F2,"…,"Fn"là"các"biểu"thức"số"học"liên"quan"đến"
" Hằng"số"
" Thuộc"tính"trong"E"
31
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
/>
32
Phép!chiếu!tổng!qt!
Chuỗi!các!phép!tốn!
! Ví"dụ"
! Kết"hợp"các"phép"tốn"đại"số"quan"hệ"
- Cho"biết"họ"tên"của"các"giáo"viên"và"lương"của"họ"sau"khi"tăng"10%"
- Lồng"các"biểu"thức"lại"với"nhau"
π
A1, A2, …, Ak (
π
HOTEN, LUONG*1.1 (GIAOVIEN)
σ
σ (π
P (r))
P
A1, A2, …, Ak (r))
- Thực"hiện"từng"phép"toán"một"
" B1"
(r)
σ
" B2" π
P
A1, A2, …, Ak (Quan
hệ kết quả ở B1)
Cần đặt tãn cho quan h
â"B mn HTTT - Khoa CNTT - Trường ĐH KHTN"
33
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
Phép!gán!
Phép!đổi!tên!
! Được"sử"dụng"để"nhận"lấy"kết"quả"trả"về"của"một"phép"toán"
! Được"dùng"để"đổi"tên""
- Thường"là"kết"quả"trung"gian"trong"chuỗi"các"phép"toán""
- Quan"hệ"
XŽt quan hệ r(B, C, D)
! Ký"hiệu""←"
ρs(r)
! Ví"dụ"
: Đổi t•n quan hệ r thˆnh s
- Thuộc"tính"
- B1"
- B2"
34
s←
σ
KQ ←
ρX, C, D (r)
P (r)
: Đổi t•n thuộc t’nh B thˆnh X
- Quan"hệ"lẫn"thuộc"tính"
π
A1, A2, …, Ak (s)
ρs(X,C,D)(r) : đổi t•n quan hệ r thˆnh s vˆ thuộc t’nh B thˆnh X
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
CuuDuongThanCong.com
35
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
/>
36
Ví!dụ!5!
Nội!dung!chi!2ết!
! Cho"biết"mã"số"và"họ"tên"giáo"viên"thuộc"bộ"mơn"HTTT"
! C1:"
π
! C2:"
GV_HTTT
MAGV, HOTEN (
KQ
σ
MABM=ƠHTTTÕ (GIAOVIEN))
← σMABM=ƠHTTTÕ (GIAOVIEN)
← πMAGV, HOTEN (GV_HTTT)
KQ(MA, TEN) ←
π
MAGV, HOTEN (GV_HTTT)
ρKQ(MA, TEN) (πMAGV, HOTEN (GV_HTTT))
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
37
!
!
!
!
!
!
!
!
!
!
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ệ"
38
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
Phép!Ech!Cartesian!
Phép!Ech!Cartesian!(8)!
! Được"dùng"để"kết"hợp"các"bộ"của"các"quan"hệ"lại"với"nhau"
! Ký"hiệu"
! Vớ"d"
r
rìs
! Kt"qu"tr"v"l"mt"quan"h"q"
- Mi"b"ca"q"l"t"hp"gia"1"b"trong"r"v"1"b"trong"s"
- Nu"r"cú"u"b"v"s"cú"v"b"thỡ"q"s"cú"u"ì"v"b"
- Nu"r"cú"n"thuc"tớnh"v"s"cú"m"thuc"tớnh"thỡ"q"s"cú"n"+"m"
thuc"tớnh"(R+""S+""=$")"
S
unambiguous
A
B
1
2
B
X
C
rìs
D
10
+
10
+
20
-
10
-
A
R.B X
S.B C
D
1
10
+
1
10
+
1
20
-
1
10
-
2
10
+
2
10
+
2
20
-
2
10
-
(X,C,D) (s)
â"B mn HTTT - Khoa CNTT - Trường ĐH KHTN"
CuuDuongThanCong.com
39
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
/>
40
Phép!Ech!Cartesian!(8)!
Ví!dụ!6!
! Cho"biết"thơng"tin"của"bộ"mơn"cùng"thơng"tin"giảng"viên"
! Thơng"thường"theo"sau"phép"tích"Cartesian"là"phép"chọn"
σ
r×s
A
R.B
α
A=S.B (r
làm"trưởng"bộ"mơn"đó"
× s)
S.B C
D
A
R.B
S.B C
D
1
α
10
+
α
1
α
10
+
α
1
β
10
+
β
2
β
10
+
α
1
β
20
-
β
2
β
20
-
α
1
γ
10
-
β
2
α
10
+
001
+
002
β
β
β
2
2
2
β
β
γ
10
20
10
MAGV
TENBM
MABM
Hệ thống th™ng tin
HTTT
C™ng nghệ tri thức
CNTT
Mạng m‡y t’nh
MMT
NGAYNHANCHUC
002
20/09/2004
001
15/05/2005
…
NGSINH
MABM
PHAI
LUONG
Nguyễn Hoˆi An
15/02/1973
MMT
Nam
2000
Trần Trˆ Dương
20/06/1960
HTTT
Nu
2500
-
003
Nguyễn Ngọc Anh
11/05/1975
HTTT
Nu
2200
-
004
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 CNTT - Trường ĐH KHTN"
….
42
Ví!dụ!6!(8)!
! B1:"Tích"Cartesian"BOMON"và"GIAOVIEN"
TENBM
MABM TRUONGBM NGAYNHANCHUC
GV
HOTEN
Hệ thống th™ng tin
HTTT
002
20/09/2004
002
Trần Trˆ Dương
Mạng m‡y tnh
MMT
001
15/05/2005
001
Trng Nam Sn
BM_GV (GIỗOVIổN ì BMùN)
! B2:"Chn"ra"nhng"b"tha"TRUONGBM"="MAGV"
KQ
â"B mn HTTT - Khoa CNTT - Trường ĐH KHTN"
CuuDuongThanCong.com
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 SNHậ ẫ.
001
Nguyn Hoi An
ẫ.
15/02/1973
25/3
ẫ.
002
Trn Tr Hng
ẫ.
20/06/1960
125
ẫ.
003
Nguyn Ngc ỗnh
ẫ.
11/05/1975
12/21
ẫ.
ẫ.
ẫ.
ẫ.
ẫ.
ẫ.
ẫ.
MèBM
TổNBM
PHủNG
ẫ.
TRNGBM
ẫ.
HTTT
H thng th™ng tin
B13
É.
002
É.
HOTEN
…
LUONG
…
…
LUONG
…
CNTT
C™ng nghệ tri thức
B15
É.
É.
Nguyễn Hoˆi An
…
2000
…
…
2000
…
MMT
Mạng m‡y t’nh
B16
É.
001
É.
Trần Trˆ Hng
2500
2500
ẫ.
ẫ.
ẫ.
ẫ.
ẫ.
ẫ.
Nguyn Ngc Anh
2200
2200
! Cho"bit"mc"lng"cao"nht"ca"cỏc"ging"viờn"
TRUONGBM=MAGV
(BM_GV)
GIỗOVIổN x BMùN
MèGV HTổN
ẫ. NGậYSINH ẫ.
MèBM TổNBM
PHủNG É. TRƯỞNGBM É.
001
Nguyễn Hoˆi An É. 15/02/1973
É.
HTTT
Hệ thống th™ng tin B13
É. 002
É.
001
Nguyễn Hoˆi An É. 15/02/1973
É.
CNTT
C™ng nghệ tri thức B15
É.
É.
001
Nguyễn Hoˆi An É. 15/02/1973
É.
MMT
Mạng m‡y t’nh
B16
É. 001
É.
É.
É. É.
É.
É.
É. É.
É. É.
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
…
É.
45
É.
46
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
Ví!dụ!7!(8)!
Ví!dụ!8!
! B1:"Chọn"ra"những"lương"khơng"phải"là"lớn"nhất"
! Cho"biết"họ"tên"các"giáo"viên"cùng"bộ"mơn"với"giáo"viên"
‘Trần"Trà"Hương’"
π
r2 ← σ
r3 ← π
r1 ← (
LUONG (GIAOVIEN))
GIAOVIEN.LUONG < R1.LUONG(GIAOVIEN
R2.LUONG
- Quan"hệ:"GIAOVIEN"
- Thuc"tớnh:"HOTEN,"MABM"
- iu"kin:"HOTEN"="Trn"Tr"Hng"
ì r1)
(r2)
Gio viãn ềTrn Tr Hngể b mn nˆo?
! B2:"Lấy"tập"hợp"lương"trừ"đi"lương"trong"r3"
KQ ←
π
LUONG
(GIAOVIEN) - r3
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
CuuDuongThanCong.com
47
Những gi‡o vi•n nˆo thuộc về bộ m™n đ—?
MABM
HOTEN
MABM
HOTEN
MMT
Nguyễn Hoˆi An
MMT
Nguyễn Hoˆi An
HTTT
Trần Trˆ Hương
HTTT
Trần Trˆ Hương
HTTT
Nguyễn Ngọc Anh
HTTT
Nguyễn Ngọc Anh
VS
Trương Nam Sơn
VS
Trương Nam Sơn
…
…
…
…
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
/>
48
Ví!dụ!9!
Ví!dụ!8!(8)!
! Tìm"các"đề"tài"thuộc"chủ"đề"‘Quản"lý"giáo"dục’"
! B1:"Tìm"bộ"mơn"mà"giáo"viên"‘Trần"Trà"Hương’"thuộc"về"
r1 ←
π
MABM,MAGV (
σ
- Quan"hệ:"CHUĐE,"ĐETAI"
- Thuộc"tính:"TENCĐ,"MACĐ"
- Điều"kiện:"TENCĐ"="‘Quản"lý"giáo"dục’"
HOTEN=ƠTrần Trˆ HươngÕ (GIAOVIEN))
! B2:"Lấy"ra"họ"tên"các"giáo"viên"cùng"bộ"môn"
σ
r3 ← σ
KQ ← π
r2 ←
HOTEN <>ÕTrần Trˆ HươngÕ (GIAOVIEN)
R1.MABM=R2.MABM (r1
MAT
ì r2)
HOTEN (r3)
â"B mn HTTT - Khoa CNTT - Trường ĐH KHTN"
49
Nội!dung!chi!2ết!
!
!
!
!
!
!
!
QLGD
Quản lý gi‡o dục
NCPT
Nghi•n cứu ph‡t triển
ƯDCN
Ứng dụng c™ng nghệ
…
…
MACĐ
…
001
HTTT quản lý c‡c trường ĐH
TENĐT
QLGD
…
002
HTTT quản lý gi‡o v cho mt Khoa
GLGD
003
Nghiãn cu ch to si Nan Platin
NCPT
â"B m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
50
! Được"dùng"để"truy"xuất"dữ"liệu"từ"hai"quan"hệ"
! Ký"hiệu"r""""""s"
- R(A1,"A2,"…,"An)"và"S(B1,"B2,"…,"Bm)"
! Kết"quả"của"phép"kết"là"một"quan"hệ"q"
- Có"n"+"m"thuộc"tính"Q(A1,"A2,"…,"An,"B1,"B2,"…,"Bm)"
- Mỗi"bộ"của"q"là"tổ"hợp"của"1"bộ"trong"r"và"1"bộ"trong"s,"thỏa"mãn"
một"số"điều"kiện"kết"nào"đó"
" Có"dạng"Ai"θ"Bj"
" Ai"là"thuộc"tính"của"R,"Bj"là"thuộc"tính"của"S""
" Ai"và"Bj"có"cùng"miền"giá"trị"
" θ"là"phép"so"sánh"≠,"=,"<,">,"≤,"≥$
- Kết"tự"nhiên"(Natural"join)"
- Kết"có"điều"kiện"tổng"qt"(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ệ"
CuuDuongThanCong.com
TENCĐ
Phép!kết!
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$
©"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
1
2
4
5
7
8
9
53
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
E
A
B
C
D
E
3
3
1
1
2
3
3
1
6
6
2
1
2
3
6
2
4
5
6
6
2
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
1
2
4
7
s
s
D
E
A
B
C
D
E
3
3
1
1
2
3
3
1
5
6
6
2
4
5
6
6
2
8
9
r
r
C=D
S
C=s.C
σC(r × s)
54
©"Bộ m™n 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
B
r
r
C
D
AA
BB
3
3
1
6
6
2
11
44
22
55
A
B
C
1
2
4
5
7
8
9
s
s
C C S.D D
C
33 31 1
66 62 2
s
A
B
C
S.C
C
D
A
B
C
s.C
D
1
2
3
3
1
1
2
3
3
1
4
5
6
6
2
4
5
6
6
2
7
8
9
ρ(S.C,D) s
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
CuuDuongThanCong.com
55
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
/>
56
Ví!dụ!10!
Ví!dụ!11!
! Cho"biết"giáo"viên"có"lương"lớn"hơn"lương"của"giáo"viên"
! Với"mỗi"giáo"viên,"hãy"cho"biết"thơng"tin"của"bộ"mơn"mà"họ"
‘Nguyễn"Hồi"An’"
đang"làm"việc"
- Quan"hệ:"GIAOVIEN$
- Thuộc"tính:"LUONG$
- Quan"hệ:"GIAOVIEN,"BOMON$
GIAOVIEN(MAGV, HOTEN, LUONG, PHAI, …, MABM, …)
GIAOVIEN(MAGV, HOTEN, LUONG, PHAI, NGAYSINH,
…)
R1(LG) ←
π
LUONG (
KQ ← GIAOVIEN
σ
BOMON(MABM, TENBM, PHONG, DIENTHOAI, …)
HOTEN=ÔNguyễn Hoˆi AnÕ (GIAOVIEN))
KQ ← GIAOVIEN
BOMON
LUONG>LG R1
KQ(MAGV, HOTEN, …, MABM, TENBM, PHONG, …))
KQ(MAGV, HOTEN, LUONG, PHAI, NGAYSINH,…, LG))
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
57
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
Ví!dụ!12!
Ví!dụ!13!
! Với"mỗi"đề"tài,"cho"biết"thơng"tin"giáo"viên"chủ"nhiệm"đề"tài"
! Với"mỗi"khoa"cho"biết"thơng"tin"trưởng"khoa"
58
đó"
- Quan"hệ:"ĐETAI,"GIAOVIEN$
ĐETAI(MAĐT, TENĐT, KINHPHI, …, GVCNĐT)
GIAOVIEN(MAGV, HOTEN, LUONG, PHAI, …)
KQ ← ĐETAI
GVCNĐT = MAGV GIAOVIEN
KQ(MAĐT, TENĐT, KINHPHI, …, GVCNĐT, MAGV, HOTEN, …)
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
CuuDuongThanCong.com
59
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
/>
60
Ví!dụ!14!
Ví!dụ!15!
! Cho"biết"lương"cao"nhất"trong"bộ"mơn"‘HTTT’"
! Cho"biết"giáo"viên"làm"việc"cùng"bộ"mơn"với"giáo"viên"002"
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
61
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
Vớ!d!16!
Tp!y!!cỏc!phộp!toỏn!SQH!
! Cho"bit"cỏc"giỏo"viờn"ca"b"mụn"Vi"sinh"cú"tham"gia""
! Tp"cỏc"phộp"toỏn",","ì,">,""c"gi"l"tp"y""cỏc"
ti"006"
62
phộp"toỏn"SQH"
- Ngha"l"cỏc"phộp"toỏn"cú"th"c"biu"din"qua"chỳng"
- Vớ"d"
" r"$s"="r"$s">"((r>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"
/>
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
1
s
a
1
α
a
γ
α
a
γ
a
1
b
1
γ
a
γ
α
a
γ
b
1
β
a
γ
a
1
β
a
γ
b
3
γ
a
γ
a
1
γ
a
γ
b
1
γ
a
β
b
1
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
CuuDuongThanCong.com
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$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"
/>
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
1
2
3
4
1
2
1
2
!
SUM(B) = 10
AVG(A) = 1.5
MIN(A) = 1
MAX(B) = 4
COUNT(A) = 4
ℑ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
α
2
7
α
4
7
β
2
3
γ
2
10
27
ℑSUM(C)(r)
A
A
SUM_C
α
14
β
3
γ
10
©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"
CuuDuongThanCong.com
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!
©"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"
/>
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"
/>
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"
/>
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"
/>
90
