Tải bản đầy đủ (.pdf) (23 trang)

Bài giảng môn Cơ sở dữ liệu: Chương 4 - ĐH KHTN

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 (421.77 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"

"

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"

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."""

/ "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"

©"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)"

"

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"

-  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)!
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 - Trng H KHTN"

Phộp!giao!(8)!
SinhVien'
HOTEN'
inh B Tin
Nguyn Thanh Tãng
Lã Qunh Nh

A

B

A

B



1

s



2




2



3



1

rs

A

B



2

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

α

1

s

α

2

α


1

α

2

β

3

β

1

β

1

©"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"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>""<hằng"số>"
-  <tên"thuộc"tính>""<tên"thuộc"tính>"

r

"  "gồm"<",">","≤","≥","≠","=$
"  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

©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"

p1

(r)) =

σ

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

©"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Đ<=Ơ1/8/2007Õ) (CONGVIEC)

©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"

-  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"

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"


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"

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"

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!
! 
! 
! 
! 
! 
! 
! 

TENCĐ

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

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$

!  Đượ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ệ"
©"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"

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"

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"

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"

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"

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

©"Bộ m™n HTTT - Khoa CNTT - Trường ĐH KHTN"

ℑSUM(C)(r)

A
A

SUM_C

α

14

β

3


γ

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

c‡c phŽp to‡n tr•n rold

87

©"Bộ m™n 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



×