Professional Documents
Culture Documents
Co So Du Lieu Cntt-Luong Thi Ngoc Khanh
Co So Du Lieu Cntt-Luong Thi Ngoc Khanh
Email: khanhltn@gmail.com
2
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
GII THI U MN HO C
nh gi:
im th 1: 10% Kim tra trn lp
im th 2: 20% Kim tra thc hnh gia k
Email: khanhltn@gmail.com
http://itam.tut.edu.vn/~khanhltn
4
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Ti liu tham kho
Tm tt bi ging mn C s d liu Tr ng H Tn c
Thng
Lp trnh ng dng chuyn nghip SQL server 2000 Pham
Hu Khang
Modern Database Management Jeffrey A.Hoffer 2000
Nguyn ly cac h c s d liu va c s tri th c D. Ullman
Ca c h c s d liu ly thuy t va thc ha nh (t p 1, 2) - H
Thu n, H C m Ha
Gia o trinh nh p mn c s d liu Nguy n An T
Chng I
GII THIU
Email: khanhltn@gmail.com
6
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Ni dung chng I
C s d liu
Kha i nim
u im
Cc vn ton vn:
khi c thm nhng rng buc mi, kh thay i cc chng trnh
c th tun th chng.
C s d liu:
u i m:
u i m: (tt)
V hiu qua s du ng thng tin:
Chia se thng tin cho nhiu ngi dung khac nhau
Tit kim tai nguyn
Tng hi u qua khai tha c
M hnh d liu:
k hiu m t d liu
V d: Mt DS cc s in thoi, h tn, a ch ca
nhng ngi quen.
M hnh d liu
gm ba thnh phn:
phn m t cu trc ca CSDL;
phn m t cc thao tc, nh ngha cc php ton c
php trn d liu;
m hnh quan h
m hnh mng
m hnh phn cp
M hi nh th c th kt h p (tt)
Ca c i nh nghia:
M u
M hnh quan h
Lc quan h, lc CSDL
a i s quan h
Bai tp chng II
27
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
CC NH NGHA - M U
maSoSV hoTenSV ngaySinh diemTB mucHBg
Ti05020 L Ngc Phc 06-12-1988 9.0 240.000
Ti05023 Nguyn M Truyn 20-02-1987 8.2 180.000
Ti05027 Phm Thu Hoa 23-05-1987 8.5 180.000
Ti05006 Phm Thu Hng 23-06-1987 7.8 120.000
Bng trn lu thng tin v xp loi hc bng ca sinh vin. Trong
bng ny, ta c:
maSoSV, hoTenSV, ngaySinh, mucHBg c gi l cc
thuc tnh,
{9.0, 8.2, 8.5, 7.5} chnh l min gi tr ca thuc tnh
diemTB.
Mt dng trong bng:
Ti05020 L Ngc Phc 06-12-1988 9.0 240.000
gl mt b. Bng c tn l HOCBONG gl mt quan h.
28
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
CC NH NGHA - M U (tt)
Lc quan h (Relation
Nhn xt:
khi ni cho tp thuc tnh U = {A1, A2, An} ta coi nh cho trc
lc quan h (LQH) v cng vi n ta c quan h rng r = .
Khi lc c np thm t nht mt dng th ta c mt quan h
khc rng.
33
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
CC NH NGHA Lc QH, Lc CSDL (tt)
nh ngha quan h (relation):
S th hin ca lc quan h mt thi im.
C th, mt quan h r trn lc quan h R l mt tp
con ca tch Descartes (Decac) ca cc min gi tr D(Ai)
vi i = 1n.
Mt cch hnh thc, r l mt QH trn tp thuc tnh U nu:
r D(A1) x D(A2) x x D(An)
trong D(Ai) l min gi tr ca thuc tnh Ai.
Lu : Thng dng cc k hiu R, Q, S ch cc lc
quan h v cc k hiu r, q, s ch cc quan h.
V d:
Bng 2.1 lu tr h s sinh vin l mt quan h, vi U =
{maSoSV, hoTenSV, ngaySinh, diemTB, mucHbg}.
34
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
CC NH NGHA Lc QH, Lc CSDL (tt)
Nhn xt:
Nhn xt:
V d:
mc logic ta c lc logic.
mc thp nht ta c lc vt l.
i s quan h
C
(r) = {t / t r, C(t) = True}
Biu thc lgic C c to thnh t cc biu thc c dng
tn thuc tnh ton t so snh gi tr hng hoc
tn thuc tnh ton t so snh tn thuc tnh ,
trong
<C1>
(
<C2>
(R)) =
<C2
>(
<C1>
(R))
45
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
i s quan h
- Cc php ton Php chn (tt)
X
(r) = {t[X] / t r} trong t[X] l gi tr b t trn tp thuc tnh
X.
Vd: php chiu
MasoSV,DiemTB
(HOCBONG) ta c kt qu sau:
maSoSV diemTb
Ti05020 9.0
Ti05023 8.2
Ti05027 8.5
Ti05006 7.8
Nhn xt:
thc hin php chiu 1QH trn mt tp thuc tnh thc hin
2 thao tc: Gi li cc thuc tnh trong tp X v chn b i din
trong cc b ging nhau.
48
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
i s quan h
- Cc php ton Php chiu (tt)
V d: Xem li csdl
Tm h tn, nm sinh ca nhng sinh vin c qu
qun Cn Th
Hoten, Namsinh
(
(QQ='Cn th')
(SINHVIEN))
Tm m s, tn ca nhng ti do Thy L c
Phc ch nhim c kinh ph t 10 triu tr ln.
MaDT, TenDT
(
(Chunhiem='L c Phc' ^ Kinhphi >= 10)
(DETAI))
49
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
i s quan h
- Cc php ton
Php tch Descartes
Tch Descartes ca hai quan h ch xt trn hai lc
quan h ri nhau.
Cho hai lc R1, R2 tng ng vi hai tp thuc
tnh: U1 = {A1, A2,,An}
U2 = {B1, B2,,Bm} vi U1 U2 =
Gi s r, s l hai quan h trn R1, R2 tng ng, khi
:
Tch Descartes ca r v s k hiu r s l quan h gm cc
(n+m)_b trn lc R1 R2, theo th t, sao cho mi b
ny c n thnh phn u l mt b thuc r v m thnh phn
sau l b thuc s.
r s = {t/ t = t1, t2 , t1 r, t2 s)}
50
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
i s quan h
- Cc php ton
51
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
i s quan h
- Cc php ton Php kt ni
Php kt ni
Nu l = th php kt ni c gi l kt ni bng.
V d: Tm tn nhng ti c p dng ng
Thp v cho bit h tn ca nhng sinh vin thc
hin tng ng.
TenDT, Hoten
(
(NoiAD='ng Thp'
)(SINHVIEN * SV_DT * DETAI))
53
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
V d:
ngha:
Php hp
V d:
Canbo(Maso, Hoten, Ngsinh, QQ, Hs_luong)
Giangvien(Maso, Hoten, Ngaysinh, QQ, Hs_luong)
In ra danh sch gm: m s v h tn ca tt c cc
cn b v ging vin:
Maso, Hoten(Canbo U Gingvin)
55
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
i s quan h
- Cc php ton Php giao
Php giao
Giao ca hai quan h tng thch r1, r2 k hiu r1 r2 l
mt quan h trn U gm cc b va thuc r1 va thuc r2.
r1 r2 = {t: t r1 v t r2}
Vd: In ra m sinh vin v h tn ca nhng sinh vin
va thc hin ti "DT001" va thc hin ti
"DT005
MaSV, Hoten
(
(MaDT='DT001')
(SINHVIEN * SV_DT ))
MaSV, Hoten
((MaDT='DT005')(SINHVIEN * SV_DT ))
56
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
i s quan h
- Cc php ton Php hiu
Php hiu
MaSV, Hoten
(SINHVIEN) -
MaSV, Hoten
( MaDT(
(Noi_AD='Vinh Long')(
SV_DT))*SINHVIEN * SV_DT ))
57
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
i s quan h
- Cc php ton
58
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
i s quan h
- Cc php ton
Php t li tn
c kt qu cho mt cu hi, c th ta phi thc hin t
hp nhiu php ton i s quan h. Trong trng hp ny,
s r rng hn nu chng ta s dng php t tn t
tn cho cc quan h trung gian.
k hiu tn quan h trung gian biu thc i s quan
h
V d:
Vi biu thc
DiemTB
9.0(HOCBONG) (THANHTICH)
(trong THANHTICH l bng lu thnh tch ca sinh vin gm cc
thuc tnh maSoSV, thanhTichSV), ta c th dng php t tn nh
sau:
XuatSac DiemTB9.0(HOCBONG)
KetQua XuatSac THANHTICH
C th t li tn cho cc thuc tnh trong quan h trung
gian v quan h kt qu bng cch lit k tn mi ca cc
thuc tnh trong du ngoc i km theo tn quan h.
59
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
i s quan h
- Cc php ton
Php chia
c th lu tr c d liu rt ln
Tnh bo mt cao
T-SQL gm cc nhm:
V d: To c s d liu QLNV:
Gm c dng v ct
Tn bng
Tn ct
Kiu d liu
di d liu
S k s lu tr
S s l lu tr
Identity
Default value
74
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
To bng
C php:
CREATE TABLE <tn bng>(
<tn ct 1><kiu d liu>[CONSTRAINT<tn 1>],
( <tn ct 2><kiu d liu>[CONSTRAINT<tn 2>],
.
( <tn ct n><kiu d liu>[CONSTRAINT<tn n>]
[,CONSTRAINT <tn 1>]
[, CONSTRAINT <tn 2>]
Kh nng Null ca mt ct c th c nh
ngha khi to mt bng
T kha NULL c s dng ch ra rng gi tr null l c php trong
ct
T kha NOT NULL c s dng ch ra rng gi tr null l khng c
php
V d:
CREATE TABLE Nhanvien(
manv char(5) NOT NULL,
tennv nvarchar(30),
manqly char(5) NULL
)
To bng Ct c php Null
78
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
To bng nh ngha DEFAULT
Vi mt ct, ch c th to c mt gi tr Default.
Gi tr default c th l mt hng, mt hm h
thng, mt bin ton cc, hoc mt hm do ngi
dng nh ngha.
79
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
To bng - nh ngha DEFAULT (tt)
C php:
V d:
CREATE TABLE Nhanvien(
manv char(5) NOT NULL,
tennv nvarchar(30),
manqly char(5),
phong int foreign key references PhongBan(maphong)
)
C php:
V d:
Create table KetQua(
masv int, mamh char(4),
diem float,
lanthi int check(lanthi<3)
90
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Ni dung chng III
Gii thiu s lc HQT CSDL SQL server 2000
Cc kiu d liu trong SQL
Cu lnh nh ngha d liu
To c s d liu
To bng
Cu lnh cp nht d liu
Cu lnh thay i cu trc bng
Xa bng
Cu lnh thao tc d liu
Truy vn d liu c bn
Truy vn lng
Hm kt hp v gom nhm
Mt s dng truy vn khc
Khung nhn
91
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Cu lnh cp nht d liu
Mt s lu :
V d:
insert into NhanVien values(NV01,NNguyn
vn Trng, Nam)
Mt s lu (tt)
Trng hp 1:
Cch 1:
B1: Nhp PHONGBAN
B2: Nhp DEAN
Cch 2:
B1: Nhp DEAN, nhp phong = null
B2: Nhp PHONGBAN
B3: Cp nht DEAN
94
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Cu lnh cp nht d liu (tt)
Mt s lu (tt)
Trng hp 2:
Cch 1:
B1: Nhp NHANVIEN, t phong = null
B2: Nhp PHONGBAN
B3: Cp nht thuc tnh phong ca
NHANVIEN
Cch 2:
B1: Nhp PHONGBAN, t trphong =
null
B2: Nhp NHANVIEN
B3: Cp nht PHONGBAN
95
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Cu lnh cp nht d liu (tt)
Mt s lu (tt)
Trng hp 3:
Cch 1:
Nhng nhn vin c manql l null th
nhp trc
Sau nhp nhng nhn vin m
nhp thng tin ngi qun l
nhn vin .
Cch 2:
B1: Nhp NHANVIEN t manql =
null
Thm mt ct vo bng c sn
C php
ALTER TABLE <tn bng> ADD <tn ct 1>
<kdl1>[,<tn ct 2> <kdl2>, ...]
Xa ct trong bng
C php
ALTER TABLE <table_name> DROP COLUMN
<column_name1> [,<column_name2>
V d: Xa ct diadiem trong bng PhongBan
ALTER TABLE PhongBan DROP COLUMN
diadiem
101
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Thm rng buc kha chnh
C php
ALTER TABLE <tn bng> DROP CONSTRAINT
<tn RB>
-
V d:
-
Xa RB kim tra trong bng NhanVien
ALTER TABLE NhanVien
DROP CONSTRAINT ck_phai
-
Xa RB kha ngoi trong bng KetQua
ALTER TABLE KetQua
DROP CONSTRAINT fk_kq_sv
105
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Ni dung chng III
Gii thiu s lc HQT CSDL SQL server 2000
Cc kiu d liu trong SQL
Cu lnh nh ngha d liu
To c s d liu
To bng
Cu lnh cp nht d liu
Cu lnh thay i cu trc bng
Xa bng
Cu lnh thao tc d liu
Truy vn d liu c bn
Truy vn lng
Hm kt hp v gom nhm
Mt s dng truy vn khc
Khung nhn
106
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Xa bng
C php:
Drop table <tn bng>
V d: Xa bng NhanVien
Drop table NhanVien
Lu khi xa bng c lin quan n kha ngoi:
Nu khng c tham chiu vng th tin hnh xa bng
cha kha ngoi trc sau xa bng cn li, hoc xa
kha ngoi ri sau tin hnh xa cc bng.
Nu c tham chiu vng th xa mt kha lm mt tham
chiu vng ri tin hnh nh trng hp 1.
C th s dng cu lnh sau lm v hiu ha cc RB trn
bng trc khi xa bng:
Alter table <tn bng> nocheck constraint all
107
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
V d tng hp
To csdl gm cc lc sau:
PhongBan(maphong,tenphong,trphong, ngnhanchuc)
DDPhong(maphong, diadiem)
Thng i km vi mt s iu kin no
Da trn
SQL v SQH
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Truy vn c bn (tt)
SELECT <danh sch cc
ct>
FROM <danh sch cc
bng>
WHERE <iu kin>
SELECT L
FROM R
WHERE C
L
(
C
(R))
113
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Truy vn c bn (tt)
malop = Ti01
(SinhVien)
Du * ch tt c cc ct
114
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Truy vn c bn (tt)
Tn b danh:
V d
SELECT masv AS ma, hoten AS Ho ten,
ngaysinh, phai, malop
FROM SinhVien
WHERE malop = Ti01 and phai = Nam
116
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Truy vn c bn (tt)
BETWEEN
SELECT MANV, TENNV
FROM NHANVIEN
WHERE LUONG > 20000 AND LUONG < 30000
C th vit:
SELECT MANV, TENNV
FROM NHANVIEN
WHERE LUONG BETWEEN 20000 AND 30000
LIKE
SELECT masv, hoten, ngaysinh
FROM SinhVien
WHERE hoten LIKE Nguyen _ _ _ _
Hoc
SELECT masv, hoten, ngaysinh
FROM SinhVien
WHERE hoten LIKE Nguyen %
Lu :
C php:
SELECT <ds cc ct>
FROM <ds cc bng>
WHERE <iu kin>
ORDER BY <danh sch cc ct><kiu sp>
V d:
SELECT MANVIEN, SODA
FROM PHANCONG
ORDER BY MANVIEN DESC, SODA
SODA
10
30
9998877
77
9998877
77
MANVIEN
10
30 9879879
87
9876543
21
9879879
87
10
20 9876543
21
30 9876543
21
125
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Ni dung chng III
Gii thiu s lc HQT CSDL SQL server 2000
Cc kiu d liu trong SQL
Cu lnh nh ngha d liu
To c s d liu
To bng
Cu lnh cp nht d liu
Cu lnh thay i cu trc bng
Xa bng
Cu lnh thao tc d liu
Truy vn d liu c bn
Truy vn lng
Hm kt hp v gom nhm
Mt s dng truy vn khc
Khung nhn
126
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Truy vn lng
C php:
SELECT <danh sch cc ct>
FROM <danh sch cc bng>
WHERE <so snh tp hp> (
SELECT <danh sch cc ct>
FROM <danh sch cc bng>
WHERE <iu kin>)
127
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
127
Kim tra s tn ti
EXISTS
NOT EXISTS
Truy vn lng (tt)
128
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Lng phn cp
V d:
SELECT MANV, TENNV
FROM NHANVIEN, DDPhong
WHERE DIADIEM=TP HCM AND phong=maphong
V d:
SELECT MANV, TENNV
FROM NHANVIEN
WHERE EXISTS (
SELECT *
FROM PHONGBAN
WHERE TENPHONG=Nghien cuu AND PHONG=MAPHONG)
Cu truy vn trn cho kt qu g? Tng ng vi
cu truy vn n gin no?
SELECT MANV, TENNV
FROM NHANVIEN, PHONGBAN
WHERE TENPHONG=Nghien cuu AND PHONG=MAPHONG
Truy vn lng (tt)
- V d lng tng quan
132
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
IN
EXISTS
Hm kt hp:
C cc hm kt hp sau:
COUNT
COUNT(*) m s dng
COUNT(<tn thuc tnh>) m s gi tr khc NULL ca
thuc tnh
COUNT(DISTINCT <tn thuc tnh>) m s gi tr khc
nhau v khc NULL ca thuc tnh
MIN
MAX
SUM
AVG
137
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Hm kt hp v gom nhm (tt)
V d:
Gom nhm:
C php:
SELECT <danh sch cc ct>
FROM <danh sch cc bng>
WHERE <iu kin>
GROUP BY <danh sch cc ct gom nhm>
139
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Hm kt hp v gom nhm (tt)
V d:
V d:
C php:
SELECT <danh sch cc ct>
FROM <danh sch cc bng>
WHERE <iu kin>
GROUP BY <danh sch cc ct gom nhm>
HAVING <iu kin trn nhm>
V d:
Mnh GROUP BY
Mnh HAVING
(5) Rt trch cc gi tr ca cc ct v hm kt hp
trong mnh SELECT
145
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Hm kt hp v gom nhm (tt)
V d:
Tm phng ban c lng trung bnh cao nht
Tm 3 nhn vin c lng cao nht
Tm tn cc nhn vin c phn cng lm tt c cc
n
146
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Ni dung chng III
Gii thiu s lc HQT CSDL SQL server 2000
Cc kiu d liu trong SQL
Cu lnh nh ngha d liu
To c s d liu
To bng
Cu lnh cp nht d liu
Cu lnh thay i cu trc bng
Xa bng
Cu lnh thao tc d liu
Truy vn d liu c bn
Truy vn lng
Hm kt hp v gom nhm
Mt s dng truy vn khc
Khung nhn
147
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
iu kin kt mnh FROM
Kt ni ngoi
C php:
SELECT <danh sch cc ct>
FROM R1 LEFT|RIGHT|FULL [OUTER] JOIN R2 ON
<biu thc> WHERE <iu kin>
V d:
150
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
iu kin kt mnh FROM (tt)
Kt ni ngoi
Kt ni ngoi
Kt ni ngoi
V d:
V d:
Khng c lu tr vt l (bng o)
To khung nhn
Bng o ny c
Danh sch thuc tnh trng vi cc thuc tnh trong mnh
SELECT
Xa b khung nhn:
DROP VIEW <tn khung nhn>
158
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Khung nhn (View)
- V d
SV t tm hiu
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
160
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
BI TP CHNG III
A) CSDL HSSINHVIEN
Vd 1:
Trong CSDL HSSINHVIEN ta c mt s RBTV nh sau:
nh k hay t xut.
169
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Rng buc ton vn
- Cc yu t ca rng buc ton vn
iu kin ca mt RBTV
Bi cnh ca mt RBTV C:
Tm nh hng ca mt RBTV
Rn + +
Thm Sa Xa
SinhVien + (*)
Vd 3: Bng tm nh hng ca
rng buc C1
Trong , C c bi cnh l cc quan h R1,.., Rn
+: cn phi kim tra RBTV C
: khng cn kim tra RBTV C
172
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Rng buc ton vn
- Phn loi
RBTV lin b
RBTV v ph thuc tn ti
Gi s c hai lc quan h R
1
, R
2
. Hai tp hp K
1
v
K
2
ln lt l cc kha ca R
1
v R
2
.
Hai du hiu ca ph thuc tn ti nh sau:
(1) Nu K
1
K
2
th ta c ph thuc tn ti ca R
2
vo R
1
.
(2) Nu K
1
R
2
(tp thuc tnh ca lc quan h R
2
) th
ta c mt ph thuc tn ti ca R
2
vo R
1
.
Tp hp K
1
gi l kha ngoi ca R
2
.
Vd 8:
v d 1.7a) l trng hp rng buc vi du hiu (1) v 1.7b) l
trng hp rng buc vi du hiu (2).
178
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Rng buc ton vn
- Phn loi Bi cnh nhiu QH (tt)
Vd 10:
Vd 11:
Vd 12:
Kha
nh ngha
Cc thut ton tm kha
Bi tp
188
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
L THUYT THIT K CSDL
Xt v d sau:
S(S#, Sname, add, pro, price)
S# Sname add pro Price
TL01 Thin Long L Thng Kit Dream
TK03 Tn Kiu L Li Wave
TK03 Tn Kiu L Li Serius
PV01 Phc
Vnh
Phm Hu Lu Future neo
TK03 Tn Kiu L Li Atila
189
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
L THUYT THIT K CSDL (tt)
Cc vn ny sinh:
Kha
nh ngha
Cc thut ton tm kha
Bi tp
191
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
PH THUC HM
nh ngha
X xc nh hm Y hay Y ph thuc hm vo X, k
hiu XY nu:
Vi r quan h xy dng trn R(U), vi t1, t2 r:
t1.X = t2.X t1.Y = t2.Y (t.X: b t thu hp trn tp
thuc tnh X)
V d:
192
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
PH THUC HM
- V d
e# ename dept_name dept_addr class
10 Peter Math G16 2
nd
20 Joan CS G15 1
st
30 Mike CS G15 1
st
40 Kate CS G15 1
st
50 Peter Law G20 2
nd
60 Albert Physics G20 1
st
Nhn xt:
nh ngha:
H tin Armstrong
(A1) (phn x) : nu Y X th X Y
B 1:
H tin Armstrong l ng n.
196
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
PH THUC HM
- H tin cho ph thuc hm (tt)
Nhn xt:
Nu f c suy dn t F nh mt h tin c th ta k
hiu F f.
197
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
PH THUC HM
- H tin cho ph thuc hm (tt)
nh ngha:
F l tp ph thuc hm trn tp thuc tnh U, X U.
Bao ng ca tp thuc tnh X i vi tp ph thuc hm F,
k hiu X
F
+
,
X
F
+
= {A U | (XA) F
+
}
L tp nhng thuc tnh A sao cho X A c suy din t F nh tp cc
quy tc suy din Armstrong.
Nhn xt:
X X+
A X th A X+
Nu Y = A
i1
A
i2
A
ik
v XY, t tin tch, ta c:
XA
ij
j=1..k
ngha: X
+
chnh l nhng thuc tnh ph thuc vo
X.
201
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
PH THUC HM
- Bao ng ca tp thuc tnh (tt)
B 3:
X Y c suy din t F nh h lut Armstrong khi v ch khi Y l
tp con ca bao ng X i vi F, ngha l:
F
Arm
(X Y) Y X
F
+
Thut ton tm bao ng ca mt tp thuc tnh:
Vo: R(U,F), X U, Ra: X+
Phng php:
B1: t X
0
= X
B2: Vi i = 0,1,, nu tn ti mt FD V W sao cho V X
i
X
i+1
=
X
i
A
j
A
j
W
B3: Dng khi X
i
= X
i+1
Kt lun: X
+
= X
i
nh l:
H tin Armstrong l ng n v y .
202
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
PH THUC HM
- Bao ng ca tp thuc tnh (tt)
V d:
R = ABCDEG v tp ph thuc hm F nh sau:
F = {ABCC A BC D ACDB DEG
BEC CGBD CEAG}
X = BD, tnh X+
u tin ta c X
0
= BD, tm X
1
ta tm nhng ph thuc
hm trong F c v tri nm trong BD, ta c PTH DEG
tha mn iu kin .
X1 = BDEG, tip tc tm X
2
ta tm nhng PTH c v tri
nm trong BDEG, ta c BEC, vy X
2
= BDEGC.
Tng t nh vy ta c X
3
= ABCDEG y l tp X
+
= (BD)
+
= R
203
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Ni dung chng V
Kha
nh ngha
Cc thut ton tm kha
Bi tp
204
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
KHA
- nh ngha kha
tng:
Nu X
+
= U th (X {A})
+
=U, v nu X l kha ti tiu th
X \ {A})
+
U A U
Trc quan t nh ngha kha ti tiu, nu X l mt tp thuc
tnh bt k m X
+
=U c th bt dn cc phn t ca X
nhn c tp X b nht (vn tha X
+
= U) v chnh l
kha ca lc quan h.
208
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
KHA
- Cc thut ton tm kha (tt)
I: R(U,F)
O: Kha ti tiu K ca R
Thut ton:
B1: t K = U
Nhn xt:
V d:
Tm kha ca R(U,F), vi U = ABCDEGHI
F = {ACB (1) BIACD (2) ABCD 3)
HI (4) ACEBCD (5) CGAE (6) }
B1: K = U = ABCDEGHI
Vy K = CGH l kha ca R.
212
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
KHA
- Cc thut ton tm kha (tt)
Lu : nu X = N L
i
l kha th khng cn th vi
cc L
j
L m L
i
L
j
215
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
KHA
- Cc thut ton tm kha (tt)
R(U,F) vi U = ABCDEGHIJLM
F = { MABC ABCH ABCEH
MBCDG DGHL}
a) Tnh bao ng X = M
b) MDG c c suy dn t F hay khng?
c) Tm tt c cc kha ca lc quan h
218
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Ni dung chng V
Kha
nh ngha
Cc thut ton tm kha
Bi tp
219
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Ph ti thiu ca tp pth
- Ph thuc hm tng ng
Cho LQH R(A
1
A
2
A
n
), cho hai tp FD F, G,
Tp FD F ph tp G nu nh F
+
cha G
K hiu F ph G F
+
G
K hiu F tng ng G F
+
G & G
+
F
B :
Vi mi tp FD F u tm c mt tp cc FD G
tng ng vi F, m v phi cc ph thuc hm
trong G bao gm khng qu mt thuc tnh.
nh ngha tp ph ti thiu
Tp F c gi l ph ti thiu nu tha:
V phi ca tt c cc pth trong F u ch c mt thuc tnh
Mi ph thuc hm XA trong F u quan trng (*)
Ngha l: Vi mi XA F, F v F \ {XA} khng tng
ng.
Mi thuc tnh v tri ca mi pth trong F u quan trng
(*) (Mi thuc tnh v phi ph thuc y vo v tri)
Ngha l: Vi mi XA F, B X
F v (F \ {XA}) U ({ X \ BA} ) khng tng ng
222
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Thut ton tm ph ti thiu
I: Tp pth F, O: ph ti thiu ca F
Phng php:
V d: Tm ph ti thiu ca cc tp FD sau:
a) R(U,F), F = { ABC CAB}
b) R(U,F), G = { ABC ACDB CGBD
CA DEG CEAG
BCD BEC }
224
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
ngha ca ph thuc hm v ph ti thiu
Ph thuc hm:
Ph ti tiu
Ta i sao
Chun ha d liu
Ca c dang chu n
Da ng chu n 1 (1NF)
Da ng chu n 2 (2NF)
Da ng chu n 3 (3NF)
Ca c bc chu n ho a lc quan h
Phn ra lc quan h
Ki m tra phn ra ba o toan thng tin
Ki m tra phn ra ba o toan phu thu c ham
Phn ra 3NF
Phn ra BCNF
T ng k t v chu n ho a CSDL
Ba i tp chng VI
229
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Ti sao?
CungCapSP(maNCC, tenNCC, diaChi, sanPham, gia)
maNCC tenNCC diaChi sanPham gia
S01 Sanyo Tokyo, Nht Bn T lnh 250
S01 Sanyo Tokyo, Nht Bn My git 270
S01 Sanyo Tokyo, Nht Bn My lnh 200
S02 Sharp Hiroshima, Nht Bn Tivi 140
S03 Samsung Hng Kng, i Loan LCD 200
S03 Samsung Hng Kng, i Loan Tivi 120
M01 Maytag New York, M T lnh 260
Trng lp thng tin lm tng chi ph lu tr thng tin v chi ph kim tra RBTV.
Hiu chnh tng lng cho nhn vin 100, i hi phi cp nht 2 hng
maNV tenNV donVi luong tenKH ngayKTKH
100 Nguyn Vn An P. Tip th 480 Anh vn 31/12/2009
100 Nguyn Vn An P. Tip th 480 NC th trng 10/03/2010
140 Trn Th M P. K ton 550 Lut thu 15/04/2010
110 L Vn Minh P. H thng thng tin 500 Anh vn 31/12/2009
110 L Vn Minh P. H thng thng tin 500 C++ 31/01/2010
190 Trn Vn Ban P. Ti chnh 520
150 H Minh Nht P. Tip th 450 Anh vn 31/12/2009
150 H Minh Nht P. Tip th 450 Java 10/01/2010
Ti sao?
231
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Cn a ra cc tiu chun c th nh gi
cht lng thit k ca mt lc CSDL cng
nh cn c phng php lm cho mt lc
CSDL tr nn tt hn.
Ti sao?
232
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Chun ha d liu
L mt cng c c bn :
Quan h c cu trc tt
Mc tiu:
Trnh s d thng
D thng khi thm vo (Insertion anomaly) thm cc hng
mi i hi ngi dng to ra cc d liu trng lp
D thng khi xo (Deletion anomaly) xo cc hng c
gy ra s mt d liu cn thit cho cc hng khc
D thng khi hiu chnh (Modification anomaly) thay i
d liu mt hng i hi thay i d liu ca cc hng
khc v trng lp
Cch gi:
Lc quan h dng chun 1 (1NF) hay cn c
gi l lc quan h 1NF.
Lc quan h 1NF cn c gi l lc quan
h chun ha.
Lc quan h khng dng chun 1 gl lc
quan h khng chun hay phi chun.
237
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Cc dng chun Dng chun 1 (1NF) (tt)
a lc qh v dng chun 1:
Tch thuc tnh kp thnh cc thuc tnh n (tch
dc) hoc tch thnh cc dng (tch ngang)
238
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Cc dng chun Dng chun 1 (1NF) (tt)
V d:
V d:
V d:
V d:
Nhn xt:
R t 1NF
nh ngha khc:
Lc quan h t 2NF nu vi mi FD XA ng
trong R th:
(1) A X hoc
Tm tt c cc kha ca lc quan h
V d:
Cho R(ABCD)
Cch lm:
Kha l: K = ABD
Xt fd: ABC
V d:
Cho R(CSZ) F = {CSZ, ZC}
Hi: Lc R c dng chun 2 khng?
Cch lm:
Kha l: K1 = CS, K2 = SZ
Tp thuc tnh kha: CSZ
Khng c thuc tnh khng kha
khng th no c trng hp thuc tnh khng kha ph thuc
khng y vo kha lc R dng chun 2.
Nhn xt:
Cch lm:
Kha: maNCC
Ph thuc hm bc cu
XY, YA nhng Y X vi A A X U Y
R dng chun 2
V d:
Kha K = Cust_ID
Ph thuc hm bc cu:
Cust_ID Salesperson Region
Do lc quan h khng t dng chun 3.
Cc dng chun Dng chun 3 (3NF) (tt)
256
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
R dng chun 2
N khc:
Cch lm:
Xc nh kha ca lc quan h
V d:
R = (C,S,Z), F = {CS Z, Z C}
Kha d tuyn: CS v SZ
V d:
Kha: SI
Nhn xt:
Cch lm:
V d: Xt li lc csdl KeHoach
N:
V d:
R = (C,S,Z), F = {CS Z, Z C}
Kha d tuyn: CS v SZ => Dng chun 3
C Z C, nhng Z khng l siu kha
=> Khng phi BCNF
nh l: Nu lc quan h R vi tp ph thuc hm F t
BCNF th n cng t 3NF.
Mnh :
Lc R(U,F) vi tp F ch gm mt ph thuc hm
th dng BCNF
Phn r (decomposition):
=
i j ij
i j i
R A if b
R A f i a
j i ) , (
Phn r cc lc quan h
- Kim tra phn r bo ton thng tin
272
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
V d:
Cho R(U,F)
R = BOISQD
F = {SD IB ISQ BO}
Phn r p = (SD,IB,ISQ,BO) c kt ni mt thng tin khng?
Phn r cc lc quan h
- Kim tra phn r bo ton thng tin (tt)
273
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
B O I S Q D
SD b11 b12 b13 a4 b15 a6
IB a1 b22 a3 b24 b25 b26
ISQ b31 b32 a3 a4 a5 b36
BO a1 a2 b43 b44 b45 b46
B O I S Q D
SD b11 b12 b13 a4 b15 a6
IB a1 b22 a3 b24 b25 b26
ISQ b31 b32 a3 a4 a5 a6
BO a1 a2 b43 b44 b45 b46
Bng ban
u
SD
IB
B O I S Q D
SD b11 b12 b13 a4 b15 a6
IB a1 b22 a3 b24 b25 b26
ISQ a1 b32 a3 a4 a5 a6
BO a1 a2 b43 b44 b45 b46
B O I S Q D
SD b11 b12 b13 a4 b15 a6
IB a1 a2 a3 b24 b25 b26
ISQ a1 a2 a3 a4 a5 a6
BO a1 a2 b43 b44 b45 b46
BO
Dng ton a
php tch
khng mt
thng tin
274
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
nh l: (Delobel)
Vi R(U,F) l mt lc quan h, gi s XY F
+
khi
p = (XY, X(U\Y)) l phn tch c kt ni khng tn tht
vi F.
Dng pht biu ny ca nh l s l c s cho vic kim tra php
tch BCNF nu ra phn sau.
Phn r cc lc quan h
- Kim tra phn r bo ton thng tin (tt)
275
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
I: mt phn r p = (R
1
,..,R
k
) v tp F
Phng php:
t G = .
=
) (
1
F R
i
k
i
Phn r cc lc quan h
- Kim tra phn r bo ton ph thuc hm
276
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Phn r cc lc quan h
- Kim tra phn r bo ton ph thuc hm (tt)
Ca ch lam:
Gii thut:
Nhp: R v F l ph ti thiu
1. To ra R
1
vi tp cc thuc tnh khng c trong v
tri hay v phi ca bt k ph thuc hm no.
3. Ngc li:
To ra lc XA cho mi X A
nh gi:
Lc vi F l ph ti thiu
R = CTHRSG, F = {C T, HR C, HT R, CS G,
HS R}
Kt xut:
CT F
1
= {CT}
CHR F
2
= {HRC}
THR F
3
= {HTR}
CSG F
4
= {CSG}
HRS F
5
= {HSR}
280
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Phn r cc lc quan h
- Phn r thnh BCNF
Nhc li nh l Delobel:
Vi R(U,F) l mt lc quan h, gi s XY F
+
khi p = (XY,
X(U\Y)) l phn tch c kt ni khng tn tht vi F.
Gii thut:
1. Z = R
2. repeat until Z khng th phn r c na
//phn r Z thnh Z A v XA vi X A
2.1. if Z khng cha A v B sao cho (Z AB) A
2.1.1. Z khng phn r c na
2.2. else
2.2.1. Y = Z
2.2.2. while Y cha A v B sao cho (Y-AB) A
2.2.1. Y = Y - B
2.3. Y c dng XA l mt phn r
2.4. Z = Z A
Z l mt phn r
281
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Phn r cc lc quan h
- Phn r thnh BCNF V d
Lc :
R = CTHRSG, F = {CT,HRC,HTR,CSG,HSR}
Phn r:
Ln 1
1. Xt cp CT
Z-CT = HRSG C, Y=Z=CTHRSG
Y = Y B =CHRSG
2. Xt cp RC
Y-RC=HSG R
Y = Y-B = HRSG
3. Xt cp RG
Y-RG=HS R
Y = Y-B = HRS
4. Phn r thnh Z-A v XA vi A=R: CTHSG v HSR
282
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Phn r cc lc quan h
- Phn r thnh BCNF V d (tt)
Ln 2:
Z=CTHSG
1. Xt cp TH
Z-B = CTSG T
Y = Y-B = CTSG
2. Xt cp TS
Z-B = CTG T
Y = Y-B = CTG
3. Xt cp TG
Z-B = CT T
Y = Y-B = CT
4. Phn r thnh Z-B v XA vi A=T: CHSG v CT
283
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Phn r cc lc quan h
- Phn r thnh BCNF V d (tt)
Ln 3:
Z=CHSG
1. Xt cp GH
Z-B = CSG G
Y = Y-B = CSG
2. Phn r thnh Z-B v XA vi A=G: CHS v CSG
Ln 4:
Z=CHS
CHS l mt phn r
V d: bi tp 2d
284
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Phn ra kt ni khng tn tht v BCNF
Thut ton:
Ban u: p ch gm R, p = (R)
V d:
Xt lc TKB (thi kha biu) gm tp U cc thuc tnh:
C(lp hc), T(ging vin), R (phng hc), S (sinh vin), H (gi
hc), G (im hc phn) cng vi tp F cc PTH sau:
F = {C T
HR C
HT R
CS G
HS R}
Kha l K = HS
Tim m t phn ra khng khng t n tht thng tin v BCNF cu a
lqh trn.
286
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Tng kt v chun ha CSDL
t v n
Bi u thc tng ng
Vi du minh hoa
Bai tp
291
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
t vn
Ti u ha:
V mt khng gian:
ti u b nh s dng cho cu hi,
ti u vic s dng thit b ngoi vi phc v cho vic khai
thc d liu
Ti u ha thi gian:
gim thi gian thc hin cu hi, bao gm gim phc tp
ca cu hi, gim s b, s quan h, s cc nhn t trong
biu thc iu kin nhm gim thao tc thc hin.
292
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
t vn (tt)
Cho 2 lc quan h R(AB) v R(CD). Gi s ta c yu cu
sau:
a ra thuc tnh A ca cc b tha mn iu kin B = C
v D = 100.
Cu hi vit bng SQH nh sau:
A
(
(B=C) and
(D = 100)
(AB x CD)
Nu a php chn D = 100 vo bn trong php tch
cc, s c:
A
(
B=C
(AB x
D =100
(CD))
V sau chuyn php chn
B=C
ca tch cc thnh
php kt ni bng s c:
A
(AB <
B=C
D=100
(CD)
R rng, php tnh cui cng s thc hin nhanh hn
rt nhiu.
293
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
t vn (tt)
A
(AB <
B=C
D=100
(CD)
Trong php ton trn,
ch chn trn quan h S nhng b c gi tr D = 100 th s b ly
ra s t hn ton b s b ca c qh trn S.
S t b c chn ra mi em kt ni vi quan h trn R.
Php kt ni ny ch chn ra b no thuc R m c gi tr ti B =
vi b c gi tr ti C mi c ly ra.
nhanh hn l ly tch - cc ca R x S ri mi chn trong
kt qu nhng b c gi tr ti B = C.
V vy, vic t chc li cu hi nh trn l mt minh ha r
rng cho thy s ln cn truy nhp ti b nh th cp s gim
i nhiu.
>
Trnh t thc hin cc php tnh s ng mt vai tr
quan trng trong qu trnh t chc cu hi.
294
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Cc chin lc ti u tng qut
X l cc tp trc.
A1A2A3An
(
B1B2..Bm
(E)) =
A1A2A3An
(E)
nu A
1
A
2
...A
n
B
1
B
2
...B
m
F1
(
F2
(E)) =
F1 F2
(E)
B i vi F1
F2 = F2
F1
(
F2
(E)) =
F2
(
F1
(E))
299
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Biu thc tng ng (tt)
Cc quy tc lin quan ti php chn v php chiu
(tt)
L5: Giao hon php chn v php chiu
F
(
A1A2...An
(E)
A1A2...An
(
F
(E))
L6: Giao hon php chn v php tch cc
Nu tt c cc thuc tnh ca F l thuc tnh ca E
1
F
(E
1
x E
2
)
F
(E
1
)xE
2
H qua:
Nu F co dang F1
F2, trong o, F1 chi cha cac thu c tinh cua
E1 va F2 chi cha cac thuc tinh cua E2, s dung L1,L4,L6 va thu
c:
F
(E
1
x E
2
)
F1
(E
1
)x
F2
(E
2
)
Nu F1 chi cha cac thuc tinh cua E1, nhng F2 co cac thuc
ti nh cua E1 va E2, ta vn co:
F
(E
1
x E
2
)
F2
(
F1
(E
1
) x E
2
)
300
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Biu thc tng ng (tt)
F
(E1 E2)
F
(E1)
F
(E2)
Nu tn cc thuc tnh ca E1 v/ hoc E2 khc vi tn
thuc tnh ca E th trong F v phi ca cng thc trn cn
thay i s dng tn cho ph hp.
301
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Biu thc tng ng (tt)
F
(E1 E2)
F
(E1)
F
(E2)
Nh trong lut L7, nu tn cc thuc tnh ca E1 v E2 l
khc nhau th cn thay th cc thuc tnh trong F v phi
biu thc tng ng tng ng vi E1.
Ch rng, php chn
F
(E2) c th l khng cn thit.
Trong nhiu trng hp, vic thc hin php chn
F
(E2)
trc s c hiu qu hn l tnh ton trc tip vi E2 v kch
c quan h lc s b i rt nhiu.
302
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Biu thc tng ng (tt)
Lu :
F
(E1 < E2)
F
(E1) <
F
(E2)
A1A2An
(E1 x E2) =
B1B2Bn
(E1) x
C1C2Cn
(E2)
304
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Biu thc tng ng (tt)
Cu truy vn se la:
tensach
(
ngay<12/01/2009
(Sach * Muon * DocGia))
Sach.masach=Muon.masach and
Muon.madg= DocGia.madg
ngay<12/01/2009
tensach
ngay<12/01/2009
xu ng di phep
chi u va hai phep cho n con
lai theo quy tc L4,L5 vi
thuc tinh ngay chi thu c
quan h Muon.
a phep chon Muon.madg
= DocGia.madg xung d i
trc phep tich -cac cua
Muon va DocGia. Ta co cy
sau:
Muon
DocGia
x
Muon.madg= DocGia.madg
Sach.masach = Muon.masach
tensach
ngay<12/01/2009
Sach
x
Cy phep cho n a ha thp va
phep chiu c t hp lai
308
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
V d minh ha (tt)
Ta du ng phe p chi u
chi cho n ra nhng
thu c ti nh c n thi t cho
phe p ti ch -cac. Ta co
cy cu i cu ng cu a qua
trinh t i u nh sau:
Sach
Muon
DocGia
x
Muon.madg= DocGia.madg
Sach.masach = Muon.masach
tensach
ngay<12/01/2009
x
Muon.masach,
Muon.madg
DocGia.madg
Sach.masach
Muon.masach
309
Ths. Lng Th Ngc Khnh Khoa CNTT TUD H TT
Bai tp