Professional Documents
Culture Documents
no ca K
tha mn iu .
Theo nh ngha nh trn th trong mt quan h c th c rt nhiu kho. Mt kho l mt tp con
ca tp cc thuc tnh c trong quan h tr tp rng. Nu gi s thuc tnh ca quan h l N, th s
lng cc kho ti a ca quan h c c s l 2
N
-1.
Kho nh nht
Khi nim Kho nh nht: Kho nh nht ca quan h r trn tp thuc tnh R = {A
1
, A
2
,..., A
N
} l
tp con K _ R sao cho:
+ K l kho ca r
+ K l kha ca r th |K| > |K|.
Kho ngoi
Trong c s d liu c th c rt nhiu cc quan h, v i khi quan h ny c nhng thuc tnh ly
d liu t mt quan h khc, hay ni cc khc l cc thuc tnh ny c min gi tr l nhng gi tr
c lu ti mt hoc nhiu trng trong quan h khc hoc chnh n.
V d 2.6: Quan h Khen_thuong ghi nhn nhng thng tin khen thng ca cc cn b trong n
v, trong thuc Ma_so_can_bo c min gi tr l nhng gi tr lu trong quan h Can_bo ti
trng Ma_so, min c cc gi tr: 0001, 0002, 0003.
Can_bo Ma_so Ho_ten Ngay_sinh Que_quan Chuc_vu
0001 L Thanh Hng 12/04/1970 Qung Ninh Trng phng
0002 Hong Vn Cnh 15/10/1981 Nam nh Nhn vin
0003 Trn Bnh Dng 20/01/1979 Ninh Bnh Nhn vin
27
Khen_thuong Ma_so_can_bo Khen_thuong Ngay_khen Ly_do
0001 Bng khen cng
on
15/10/2001 t thnh tch xut
sc trong lao ng
0002 Bng khen B
GTVT
25/05/2002 Chin s thi ua cp B
Khi nim kho ngoi (foreign key): Kho ngoi l mt hoc mt tp thuc tnh trong mt quan h
ca c s d liu tham chiu n mt hoc mt tp thuc tnh ca quan h khc trong cng c s d
liu .
Cc kho ngoi rt quan trng i vi c s d liu quan h. Chng c ngha th hin d liu
bng ny lin kt vi d liu bng khc.
3.3. Chuyn i s Thc th-Lin kt sang c s d liu quan h
Tp cc lc quan h c s dng biu din thng tin i vi mt t chc c gi l mt
lc c s d liu quan h hay n gin gi tt l lc c s d liu quan h nu khng c s
hiu nhm. Cc gi tr hin thi ca cc quan h hnh thnh c s d liu quan h hay gi tt l c
s d liu. Tt nhin, chng ta hon ton t do to lp cc quan h vi mt tp thuc tnh no
nh mt lc quan h v c th t mt s din gii trn cc b nu chng ta mun. Tuy nhin,
c mt kiu thit k in hnh cc s c s d liu quan h m chng ta c th xc nh c cc
s quan h khi bin i s thc th lin kt sang m hnh quan h.
Bin i cc tp thc th
Mt tp thc th E c bin i thnh mt quan h m lc quan h ca n bao gm tp cc
thuc tnh ca tp thc th. Mi b ca quan h biu din mt thc th trong th hin hin thi ca
E.
Nu E l mt tp thc th m cc thc th ca n c xc nh thng qua mt lin kt vi mt tp
thc th khc F no th lc quan h tng ng vi E ch cha cc thuc tnh kha ca F.
Bin i cc lin kt
Mi lin kt R gia tp cc thc th E
1
, E
2
,, E
k
c bin i thnh mt quan h m lc quan
h ca n bao gm cc thuc tnh trong kha ca mi E
1
, E
2
,, E
k
. Thng qua php t li tn nu
cn thit, chng ta m bo chc chn khng c hai tp thc th trong danh sch c cc thuc tnh
cng tn, thp ch nu chng thuc cng mt tp thc th.
Bi tp
1. Gi s trong nghip v qun l pht hnh bo ch, thng tin gm c:
a. Thng tin v khch hng t mua bo (tp ch) :
- M khch hng t mua, 5 k t, kiu character.
- H v tn khch hng, 21 k t, kiu character.
- a ch khch hng, 21 k t, kiu character.
28
- S in thoi , 7 k t, kiu character.
- a im giao nhn bo(tp ch) hng ngy, 25 k t, kiu character.
b. Thng tin v cc loi bo (tp ch) bao gm:
- M bo khch t mua., 3 k t, kiu character.
- Tn bo (tp ch), 15 k t, kiu character.
- Gi bo, 5 s.
- K pht hnh bo ( bo ngy, bo tun, bo thng...). 3 k t ch
c. Thng tin v phiu t bo gm
- Ngy khch t bo, ch.
- M hiu khch hng t mua bo.
- M bo khch t mua.
- S lng bo, ch khch t mua .
- Thnh tin tng loi bo.
Hy phc ho m hnh CSDL quan h vi cc d liu trn.
29
Chng 4. i s quan h
i s quan h l mt ngn ng i s trong cc bng mi c nh ngha bng cc ton t lin
h vi cc bng khc. y l mt ngn ng biu thc. Trong mt bng mi c nh ngha nh
mt biu thc bao gm cc bng khc v cc ton t.
4.1. Php chn
Php chn trn quan h r k hiu o
F
(r) l php tnh xy dng mt tp con cc b ca r, tho mn
biu thc logic F.
Cc php ton s dng trong biu thc F l:
- Php ton so snh: >, <, =, >=, <=, <>
- Php ton logic: ., v,
Biu din hnh thc php chn:
o
F
(r) = {t e r | F(t) = TRUE}
F(t) c hiu l gi tr ca cc thuc tnh xut hin trong biu thc F ti b t tho cc iu kin ca
F.
V d 4.6:
r ( A B C) F (A = a1) o
F
(r) = ( A B C )
a1 b2 c1 a1 b2 c1
a2 b5 c4
a3 b2 c2
4.2. Php chiu
Gi s R = {A
1
, A
2
,..., A
N
} l mt tp cc thuc tnh, A e R, r l mt quan h trn R, t l mt b
thuc r. Khi k hiu t[A] l gi tr ca b t ti thuc tnh A. M rng ra, nu X = {B
1
, B
2
,..., B
M
}
_ R vi M s N, B
i
e R vi i = 1, 2,..., M th t[X] = (t[B
1
], t[B
2
],..., t[B
M
]).
Ngi ta nh ngha php chiu nh sau: Php chiu trn tp X ca quan h r, k hiu l [
X
(r)
hoc r[X] c nh ngha theo cng thc [
X
(r) = {t[X] | t e r}
V d 4.5:
r ( A B C) X = {A, B} [
X
=( A B )
a1 b2 c1 a1 b2
a2 b5 c4 a2 b5
a3 b2 c2 a3 b2
30
4.3. Php hp
* Tnh kh hp: r l quan h xc nh trn tp thuc tnh R = {A
1
, A
2
,..., A
N
}, s l quan h xc nh
trn tp thuc tnh S = {B
1
, B
2
,..., B
M
}. r v s c gi l hai quan h kh hp khi v ch khi M = N
v min gi tr ca A
i
v B
i
vi i = 1, 2,..., N l tng ng vi nhau.
Hp ca hai quan h r v s kh hp, k hiu l r s l tp cc b thuc r hoc s.
Biu din hnh thc php hp c dng:
r s = {t | t e r v t e s}
V d 4.1:
r ( A B C ) S( A B C ) r s =( A B C )
a1 b2 c5 a7 b2 c3 a1 b2 c5
a2 b5 c6 a2 b2 c2 a2 b5 c6
a4 b3 c7 a4 b3 c7
a7 b2 c3
a2 b2 c2
4.4. Php giao
Giao ca hai quan h r v s kh hp, k hiu l r s l tp cc b thuc c quan h r v s.
Biu din hnh thc php giao c dng.
r s = {t | t e r . t e s}
V d 4.2:
r ( A B C ) S( A B C ) r s =( A B C )
a1 b2 c5 a1 b2 c5 a4 b3 c7
a2 b5 c6 a2 b2 c2 a1 b2 c5
a4 b3 c7 a4 b3 c7
4.5. Php tr
Hiu ca hai quan h r v s kh hp, k hiu r s l tp cc b thuc r nhng khng thuc s.
Biu din hnh thc php tr c dng:
r - s = {t | t e r . t e s}
V d 4.3:
r ( A B C ) s( A B C ) r - s =( A B C )
a1 b2 c5 a1 b2 c5 a2 b5 c6
a2 b5 c6 a2 b2 c2
a4 b3 c7 a4 b3 c7
H qu: Php giao ca r v s c th biu din di dang: r s = r (r s)
31
4.6. Tch Descartes
Gi r l quan h xc nh trn tp thuc tnh {A
1
, A
2
,..., A
N
} v s l quan h xc nh trn tp thuc
tnh {B
1
, B
2
,..., B
M
}.
* Php ghp b: Gi s a = (a
1
, a
2
,..., a
N
) e r, b = (b
1
, b
2
,..., b
M
) e s. Php ghp b a vi b c k
hiu (a, b) hoc a.b s c dng (a,b) = (a
1
, a
2
,..., a
N
, b
1
, b
2
,..., b
M
)
Tch cc ca r v s k hiu r x s l tp cc b vi n thnh phn u c dng mt b thuc r v m
thnh phn sau c dng ca mt b thuc s.
Biu din hnh thc php tch cc c dng
r x s = {t | t = (a,b) . a e r . b e s}
V d 4.4:
r ( A B ) s( E F ) r x s= ( A B E F )
a1 b2 e1 f2 a1 b2 e1 f2
a2 b5 e3 f4 a1 b2 e3 f4
a3 b2 a2 b5 e1 f2
a2 b5 e3 f4
a3 b2 e1 f2
a3 b2 e3 f4
4.7. Cc php kt ni
Php kt ni ca quan h r i vi thuc tnh A vi quan h s i vi thuc tnh B c nh ngha
qua.
r s = {(t,u) | t e r . u e s . t[A] u u[B]}
Trong u l mt php ton th hin mi quan h gia cc thuc tnh ca hai quan h r v s.
Trong trng hp u l mt php ton so snh =, chng ta gi php kt ni l php kt ni bng.
Trng hp php kt ni bng trn cc thuc tnh cng tn ca hai quan h v sau khi kt ni mt
trong hai thuc tnh ca php so snh = c loi b thng qua php chiu th php kt ni ny
c gi l kt ni t nhin v s dng k hiu *. Php kt ni t nhin ca hai quan h c
nh ngha nh sau:
r(U) * s(V) = {t[U V] | t[U] e r . t[V] e s}
V d 4.7.
r ( A B ) s( E F ) r s= (
B > E
A B E F )
6 1 2 3 5 4 2 3
5 4 3 3 5 4 3 3
4 3 4 3 2 3
32
4.8. Php chia
Gi r l quan h trn tp R = {A
1
, A
2
,..., A
N
}, s l quan h trn tp S = {B
1
, B
2
,..., B
M
} vi M < N.
Php chia r cho s k hiu r s l tp cc b t sao cho vi mi b u e s th b (t,u) e r.
Biu din hnh thc php chia:
r s = {t | u e s (t,u) e r}
V d 4.8:
r ( A B C) s ( B C ) r s = ( A )
a1 b2 c1 b2 c1 a1
a2 b2 c1 b2 c2 a2
a1 b2 c2
a3 b3 c3
a2 b2 c2
Bi tp
1. Trnh by khi nim ngn ng thao tc d liu.
2. Cc php ton i s quan h
a. Php hp cc quan h UNION
b. Php giao ca cc quan h INTERSECT.
c. Hiu ca cc quan h - MINUS.
d. Tch Cc (Decalesian Product)
e. Php chn Selection.
f. Php chiu PROJECT.
3. Cc tnh cht ca i s quan h
a. Tnh cht giao hon
b. Kt hp
b. Tnh cht tch lu ng
4. Cho hai quan h HocSinh(MaHS, TenHS, DiemThi, Lop) v Lop(MaLop, TenLop, PhongHoc).
Hy vit biu thc i s quan h thc hin cng vic sau:
1. Hin th ra cc hc sinh c im thi nm trong khong t 5 n 7, thng tin hin th bao
gm: MaHS, TenHS, TenLop, DiemThi.
2. Thng k s hc sinh ca mi lp. Thng tin hin th bao gm: MaLop, TenLop,
SoHocSinh.
33
Chng 5. Ngn ng truy vn c cu trc- SQL
5.1. Tng quan v SQL
SQL l ngn ng hi c cu trc c gii thiu t nhng nm 1970, nh SQL ngi s dng c s
d liu c th thao tc (b xung, chnh sa, xo b, tm kim) trn cc d liu trong quan h, tng
cng cc lut ton vn d liu v thc hin cc php ton ca i s quan h. y l ngn ng tp
trung vo vic khai thc d liu, khng ging nh cc ngn ng lp trnh khc. SQL c chnh sa
v b xung ln mi nht l vo nm 1992. Hin y l ngn ng truy vn c ci t kh ph bin
trong cc h qun tr c s d liu quan h.
Trong cc h qun tr SQL u c ci t thnh 3 lp ngn ng:
- Ngn ng nh ngha (xc nh) d liu DDL (data definition language): Gm cc cu lnh cho
php xy dng c s d liu, tc l cc lnh to mi, thay i v hu b c s d liu cng nh cc
i tng trong c s d liu v cc rng buc v d liu.
- Ngn ng khai thc d liu DML (data manipulation language): bao gm cc cu lnh cho php
chnh sa, truy vn c s d liu, bao gm cc cng vic nh cp nht, b xung, thay i v tm
kim d liu.
- Ngn ng iu khin d liu DCL (data control language): Ngn ng iu khin d liu gm
cc cu lnh dng iu khin c s d liu, gm cc cng vic nh quyt nh quyn truy cp v
khng nh vic cp nht d liu.
5.2. Truy vn SQL c bn
5.2.1. Lnh SELECT
Php ton c bn trong SQL l php nh x c m t v c php nh mt khi SELECT
FROM WHERE.
Cu trc c s ca lnh truy vn SQL
Cu trc c s ca mt biu thc SQL bao gm 3 mnh : Select, from v where
- Mnh SELECT trng ng vi php chiu ca i s quan h. N c s dng lit k cc
ct mong mun trong kt qu ca mt truy vn.
- Mnh FROM tng ng vi php tch cc ca i s quan h. N lit k cc bng cn tra
cu nh gi kt qu ca biu thc.
- Mnh WHERE tng ng vi v t chn ca i s quan h. N bao gm mt v t ko theo
cc ct ca cc bng xut hin trong mnh FROM.
Ngoi ra, m rng kh nng ca ngn ng ny, khi SELECT FROM WHERE s c b
sung thm cc mnh GROUP BY, HAVING, ORDER BY, v mt s hm mu.
Dng tng qut ca cu lnh SELECT c biu din nh sau:
SELECT [DISTINCT] {<tn ct> | <biu thc> [,]} | *
34
FROM {<tn bng> | <tn view> [,]}
[WHERE <biu thc iu kin>]
[GROUP BY {<tn ct> | <tn biu thc> [,]} [HAVING <biu thc iu kin>]]
[ORDER BY {<tn ct> | <tn biu thc> [ASC | DESC] [,]}
Trong mnh WHERE c biu din vi cc dng cu
WHERE [NOT] <biu thc> <php so snh> <biu thc>
WHERE [NOT] <tn ct> [NOT] LIKE <xu k t>
WHERE [NOT] <biu thc> [NOT] IN (<danh sch> | <Cu truy vn con>)
WHERE [NOT] EXISTS (<Cu truy vn con>)
WHERE [NOT] <biu thc> <php so snh> {SOME | ANY | ALL (<Cu truy vn con>)}
WHERE [NOT] <biu thc logic>
WHERE [NOT] <biu thc logic> <AND | OR> <biu thc logic>
* Cc php ton logic s dng trong mnh WHERE: AND, OR, NOT
* Cc php ton so snh s dng trong mnh WHERE: >, <, =, >=, <=, <>
5.2.2. S dng biu thc v chui trong lnh SELECT
* Mt s cc php ton c bit:
- BETWEEN <gi tr u> AND <gi tr cui>
- LIKE <Chui tm kim>
Trong chui tm kim s dng k t % i din cho mt xu con, k t _ i din cho mt k
t.
- Php ton i tn AS
5.3. Truy vn s dng cc hm thng k
Hm AVG(column)
Hm AVG tr v gi tr trung bnh tnh theo ct c ch nh ca cc dng c chn. Cc gi tr
NULL s khng c xt n khi tnh gi tr trung bnh.
V d: Cu lnh sau s tnh s tui trung bnh ca nhng ngi c tui trn 20:
SELECT AVG(Age) FROM Persons WHERE Age > 20
Hm MAX(column)
Hm MAX tr v gi tr ln nht trong ct. Cc gi tr NULL s khng c xt n.
V d: SELECT MAX(Age) FROM Persons
Hm MIN(column)
Hm MIN tr v gi tr nh nht trong ct. Cc gi tr NULL s khng c xt n.
V d: SELECT MIN(Age) FROM Persons
Lu : Hm MIN v MAX cng c th p dng cho cc ct c d liu l chui vn bn. D liu
trong ct s c so snh theo th t tng dn ca t in
35
Hm SUM(column)
Hm SUM tr v tng gi tr ca ct. Cc gi tr NULL s khng c xt n.
V d: Tm tng s tui ca tt c nhng ngi c trong bng:
SELECT SUM(Age) FROM Persons
V d: Tm tng s tui ca tt c nhng ngi c tui ln hn 20:
SELECT SUM(Age) FROM Persons WHERE Age > 20
5.4. Cc lnh sa i d liu
5.4.1. Lnh chn mt bn ghi- INSERT
- Thao tc thm mt bn ghi mi:
INSERT INTO <tn bng>[(danh sch tn ct)] VALUES(Cc gi tr)
V d 4.9:
Insert into Mat_hang(Ma_hang, Ten_hang, Don_vi, Quy_cach) Values(0001, Tivi, Chic,
Sony 29)
Ch : Trong trng hp khng lit k danh sch tn ct th tng ng vi vic lit k ton b
tn cc ct ca bng theo th t khi to ra bng.
5.4.2. Lnh cp nht cc bn ghi- UPDATE
- Thao tc sa i d liu:
Trong nhng tnh hung nht nh, chng ta c th mun thay i mt s gi tr trong mt dng m
khng thay i mi gi tr trong dng . Lnh sa i cc gi tr ca cc dng trong bng tha mn
mt iu kin no c c php tng qut l:
UPDATE <tn bng>
SET {<tn ct> = <biu thc> [,]}
[WHERE <biu thc iu kin>]
V d 4.12:
Update Mat_hang Set Quy_cach = Sony 21 Where Ma_hang = 0001
Ch : Trong trng hp khng nu mnh WHERE th ton b cc bn ghi ca bng s b tc
ng.
5.4.3. Lnh xa cc bn ghi- DELETE
- Thao tc xa:
Chng ta c th xa mt hoc nhiu b trong mt bng tha mn mt iu kin.
C php tng qut:
DELETE FROM <tn bng> [WHERE <biu thc logic>]
V d 4.11:
Delete from Mat_hang Where Ma_hang = 0001
Ch : nu khng a ra mnh WHERE th tt c cc bn ghi ca bng s b xa.
36
Bi tp
Cho lc c s d liu
Sinhvien(MASV, HOTENSV, NU, NGAYSINH, NOISINH,TINH,MALOP)
Lop(MALOP,TENLOP, MAKHOA)
Khoa(MAKHOA,TENKHOA)
Monhoc(MAMH,TENMH,DONVIHT)
Giangvien(MAGV,HOTENGV,HOCVI,CHUYENNGANH,MAKHOA)
Ketqua(MASV, MAMH, LANTHI, DIEMTHI)
Phancong(MALOP,MAMH,MAGV)
Thc hin cc yu cu sau:
a. Lp danh sch nhng sinh vin c h khu thng tr HI PHNG gm cc thng tin: MASV,
HOTENSV, NGAYSINH, TENLOP
b. Lp danh sch cc sinh vin ca lp c m l CNT43H gm cc thng tin:
MASV, HOTENSV, NGAYSINH, TINH.
37
Chng 6. Chun ha v rt gn c s d liu quan h
6.1. Cc vn v d tha d liu
Cc lc quan h thu c t bin i cc s ER v cc lc quan h cha chc l
mt thit k l tng. i khi chng ta phi tm cch chnh sa, gp cc lc quan h li vi
nhau. c bit sau cn phi tin hnh chun ha li cc lc trnh cc trng hp:
a. D tha d liu:
V d xem xt mt lc NhaCungCap(Ma, Ten, DiaChi, MatHang, Gia). D dng thy rng
nu mt nh cung cp no cung cp nhiu mt hng khc nhau thi d liu v nh cung cp s
xut hin lp i lp li trong nhiu b ca quan h trn lc ny.
b. Khng nht qun: L h qu ca vic d tha d liu. V d d liu v mt nh cung cp lp
li trong nhiu b dn n khi sa i a ch ca ngi cung cp ny, chng ta ch sa i mt b
no cn cc b khc vn gi nguyn. Khi c hin tng mt nh cung cp li khng c a
ch duy nht.
c. D thng khi thm b: Nu mt nh cung cp cha cung cp mt mt hng no c, khi thm
mt b gi tr v ngi cung cp ny, chng ta khng th a mt hng v gi c vo b gi tr .
d. D thng khi xa b: L vn ngc li ca d thng khi thm b. Nu mt nh cung cp
no ch cung cp mt mt hng, khi trong quan h ch c mt b lu tr d liu v nh cung
cp ny. Khi chng ta xa d liu v s cung cp mt hng bi nh cung cp ny hay xa b gi tr
chng ta s lm mt thng tin v ngi cung cp ny.
6.2. Ph thuc hm
6.2.1. Khi nim v ph thuc hm
Cho quan h PhanCong nh sau:
PhanCong (PHICONG, MAYBAY, NGAYKH, GIOKH)
Quan h PhanCong din t phi cng no li my bay no v my bay khi hnh vo thi gian
no. Khng phi s phi hp bt k no gia phi cng, my bay v ngy gi khi hnh cng u
c chp nhn m chng c cc iu kin rng buc qui nh sau:
- Mi my bay c mt gi khi hnh duy nht.
- Nu bit phi cng, bit ngy gi khi hnh th bit c my bay do phi cng y li.
38
- Nu bit my bay, bit ngy khi hnh th bit phi cng li chuyn bay y.
Cc rng buc ny l cc v d v ph thuc hm v c pht biu li nh sau:
- MAYBAY xc nh GIOKH
- {PHICONG,NGAYKH,GIOKH} xc nh MABAY
- {MAYBAY,NGAYKH} xc nh PHICONG
hay
- GIOKH ph thuc hm vo MAYBAY
- MABAY ph thuc hm vo {PHICONG,NGAYKH,GIOKH}
- PHICONG ph thuc hm vo {MAYBAY,NGAYKH}
v c k hiu nh sau:
- {MAYBAY} GIOKH
- {PHICONG,NGAYKH,GIOKH} MABAY
- {MAYBAY,NGAYKH} PHICONG
Trong k hiu trn ta k hiu MAYBAY thay cho {MAYBAY}.
Mt cch tng qut:
R() l lc quan h. X, Y l hai tp con ca tp thuc tnh ={A1,A2,,An}.
r l quan h trn R(); t
1
, t
2
l hai b bt k ca r.
X Y (t
1
.X = t
2
.X t
1
.Y = t
2
.Y)
(Ta ni X xc nh Y hay Y ph thuc hm vo X (X functional determines Y, Y functional
dependent on X )
Tnh cht:
- ph thuc hm X ng vi mi quan h r
- ph thuc hm Y ch ng trn quan h r c cng gi tr trn Y.
V d: Quan h sau tha mn ph thuc hm GIOKH
PhanCong (PHICONG, MAYBAY, NGAYKH, GIOKH)
Ph thuc hm c suy din logic t F
39
Ni rng ph thuc hm X Y c suy din logic t F nu mt quan h r tha mn tt c
cc ph thuc hm ca F th cng tha ph thuc hm X Y. K hiu F|= X Y.Bao ng ca F
k hiu F+ l tp tt c cc ph thuc hm c suy din logic t F.
Cc tnh cht ca tp F+
1. Tnh phn x: Vi mi tp ph thuc hm F+ ta lun lun c F F+
2. Tnh n iu: Nu F G th F+ G+
3. Tnh ly ng: Vi mi tp ph thuc hm F ta lun lun c (F+)+ = F+.
Gi G l tp tt c cc ph thuc hm c th c ca r, phn ph ca F k hiu F- = G - F+
Chng minh
1. X Y F r th X Y X Y F+
2. Nu X Y l ph thuc hm thuc F+ ta phi chng minh X Y thuc G+
Gi s r tha tt c cc ph thuc hm ca G (1)
r tha tt c ph thuc hm ca F v F G
r tha ph thuc hm X Y (2) v X YF+
(1) v (2) X Y G+ F+ G+
3. F F+ (tnh phn x F+ (F+)+ (1)
Nu X Y (F+)+ (2) X Y F+ th v: (3)
Gisr tha tt c cc ph thu hm ca F (4)
r tha tt c cc ph thuc hm ca F+ (theo inh ngha)
r tha tt c cc ph thu hm ca (F+)+ (theo inh ngha)
r tha X Y (v (2)) X Y F+
(1) v (3) (F+)+ = F+
6.2.2. Bao ng ca tp ph thuc hm
Ngi ta gi tp F
+
l bao ng ca F, tc l tp cc ph thuc hm c suy din logic t F.
Nu F = F
+
th F l h y ca cc ph thuc hm.
6.2.3. H tin Armstrong
Gi R(U) l lc quan h vi U = {A
1
, A
2
,, A
N
} l tp cc thuc tnh v X, Y, Z, W _ U.
Chng ta k hiu XY tng ng vi XY
H tin Armstrong:
A1. Phn x: Nu Y _ X th X Y
A2. Tng trng: Nu X Y, Z _ U th XZ YZ
A3. Bc cu: Nu X Y, Y Z th X Z
40
B . H tin Armstrong l ng. iu ny c ngha l nu X Y l mt ph thuc hm
c suy din t F nh h tin Armstrong th X Y l ng trn mt quan h no tho mn
cc ph thuc hm trong F.
Chng minh:
Ln lt kim tra tnh ng n ca 3 tin :
- Tin phn x: R rng tin ny l ng v khng th c hai b bng nhau trn X m li
khng bng nhau trn tp con ca n.
- Tin tng trng: Gi s quan h r tho mn X Y. Tn ti hai b t, u e r sao cho t[XZ] =
u[XZ] m t[YZ] = u[YZ]
V t[Z] = u[Z] nn c t[YZ] = u[YZ] th t[Y] = u[Y] (1)
M ta c t[XZ] = u[XZ] nn t[X] = u[X] (2)
T (1) v (2) ta c t[X] = u[X] v t[Y] = u[Y] iu ny l tri vi gi thit quan h r tho mn
X Y. Vy t[YZ] = u[YZ] hay XZ YZ l ng trn quan h r.
- Tin bc cu: Cho X Y v Y Z ng trn quan h r.
Gi s tn ti hai b t, u e r sao cho t[X] = u[X] v t[Z] = u[Z] (3)
T X Y suy ra t[X] = u[X] nn t[Y] = u[Y] (4)
T 3 v 4 ta c t[Y] = u[Y] v t[Z] = u[Z] iu ny tri vi gi thit Y Z. Do vy t[Z] = u[Z]
Suy ra X Z l ng trn quan h r.
B . Cho X, Y, Z, W _ U. Chng ta c cc lut sau:
- Lut hp: Nu X Y, X Z th X YZ.
- Lut ta bc cu: Nu X Y, YW Z th XW Z.
- Lut tch: Nu X Y, Z _ Y th X Z.
Chng minh.
- Chng minh lut hp:
T X Y ta dng lut tng trng thm X c XX XY tng ng vi ph thuc hm X
XY (1)
T X Z ta dng lut tng trng thm Y c XY YZ (2)
T (1) v (2) ta dng lut bc cu s c: X YZ.
41
- Chng minh lut ta bc cu:
T X Y, dng lut tng trng thm W c XW YW (3)
M theo gi thit chng ta c YW Z (4)
T (3) v (4) ta dng lut bc cu s c: XW Z.
- Chng minh lut tch:
V Z _ Y nn Y Z theo lut phn x (5)
M theo gi thit c X Y (6)
T (5) v (6) ta dng lut bc cu s c: X Z.
6.2.4. Bao ng ca tp thuc tnh
d dng chng minh tnh y ca h tin Armstrong, ngi ta a thm khi nim bao
ng ca tp cc thuc tnh.
Gi F l tp cc ph thuc hm trn tp thuc tnh U, X _ U. Gi X
+
l bao ng ca X i vi
F, X
+
c nh ngha nh sau:
X
+
= { A e U | X A e F
+
}
Ni c th: X
+
l tp tt c cc thuc tnh A m ph thuc hm X A c th c suy din
logic t F nh h tin Armstrong.
B . X Y c suy din t h tin Armstrong khi v ch khi Y _ X
+
.
Chng minh:
Gi s Y = A1....A
N
vi A
1
,..., A
N
l cc thuc tnh v Y _ X
+
T nh ngha X
+
ta c X A
i
vi i = 1, 2,..., N. p dng h tin Armstrong cho mi i suy
ra t X Y nh lut hp.
Ngc li, gi s ta c X Y, p dng h tin Armstrong cho mi i c X A
i
vi A
i
e Y
nh lut tch. T suy ra Y _ X
+
.
nh l. H tin Armstrong l ng v y .
Chng minh:
Tnh ng n ca h tin c chng minh qua b 5.1. y chng ta ch cn chng
minh tnh y tc l X Y khng tho trn quan h r th X Y cng khng th suy din logic
t F.
42
Gi F l tp cc ph thuc hm trn tp thuc tnh U. Gi s X Y l khng th suy din
c t h tin Armstrong. Xt quan h r gm hai b c cho trong bng di y:
Bng 5.1. Mt quan h r ch ra F khng suy din logic ra X Y.
11................1 11..............1
11................1 00..............0
Cc thuc tnh thuc X
+
Cc thuc tnh cn li
Trc ht cn ch ra rng tt c cc ph thuc hm thuc F u tho trn quan h r. Tht vy,
gi s V W e F nhng khng tho trn r. Do , ta c V _ X
+
hoc hai b ca r s khng bng
nhau t nht trn mt thuc tnh ca V. Nh vy W khng th l tp con ca X
+
hoc V W tho
trn r.
Gi A e W nhng A khng thuc X
+
. V XV _ X
+
do V _ X
+
nn X V suy ra t b 5.3.
p dng lut bc cu v lut tch vi X V v V W e F suy ra X A. Nhng do A khng
thuc X
+
nh gi thit, do vy l mu thun. T i n kt lut rng mi V W e F u tho
trn r.
By gi cn chng minh X Y khng tho trn r. Gi s rng X Y l tho trn r. Nh trn
c X _ X
+
v suy ra Y _ X
+
, nu khng hai b thuc r l bng nhau trn X nhng khng bng nhau
trn Y. Theo b 5.3 th X Y c th suy ra c t h tin , iu l hon ton mu thun
vi gi thit rng X Y l khng th suy din c t h tin Armstrong. Do vy X Y
khng th ng trn r. n y c th kt lun: Nu X Y khng suy din c t h tin
Armstrong th X Y khng th suy din logic c t F. Vy h tin l y .
Tnh ton bao ng ca tp thuc tnh.
Vic tnh ton bao ng F
+
ca tp cc ph thuc hm F trong trng hp tng qut l rt kho
khn v tn km thi gian bi v tp cc ph thuc hm thuc F
+
rt ln cho d F c th l kh nh.
Chng hn cho F l tp cc ph thuc hm vi F = {A B
1
, A B
2
,..., A B
N
}. F
+
khi cn
c tnh nhng ph thuc hm A Y vi Y _ {B
1
,B
2
,...,B
N
}. Nh vy s c 2
N
1 tp con khc
rng ca Y. Tuy nhin vic tnh X
+
, bao ng ca tp thuc tnh X li khng kh. Theo b 5.3
vic kim tra X Y e F
+
khng kh hn vic tnh X
+
.
Thut ton. Tnh bao ng ca tp cc thuc tnh i vi mt tp ph thuc hm.
Vo: Tp hu hn cc thuc tnh U, tp cc ph thuc hm F trn U v X _ U
Ra: Bao ng ca X i vi F.
Phng php:
43
Ln lt tnh cc tp X
0
, X
1
, X
2
..... theo cc bc sau:
Bc 0: t X
0
= X
Bc i: Tnh X
i
t X
i -1
, c th X
i
= X
i-1
A nu tn ti mt ph thuc hm Y Z e F m Y _
X
i-1
vi A e Z v A e X
i-1
. Ngc li t X
i
= X
i-1
.
V rng X = X
0
_ ....._ X
i
_....._ U v U l hu hn cho nn s tn ti mt ch s i no m
X
i
= X
i-1
, khi t X
+
= X
i
.
nh l. Thut ton tnh bao ng X
+
l ng.
Chng minh: chng minh bng quy np.
Bc c s: ng vi A e X r rng X A.
Bc quy np: Gi s bc j-1 ng. Cn chng minh cho bc th j. Tc l nu A c thm
vo X
j
th A e X
+
, trong X
j-1
ch cha cc thuc tnh thuc X
+
. Tht vy, theo thut ton bc
th j, nu A l thuc tnh c a vo X
j
th phi tn ti mt ph thuc hm Y X e F, Y _ X
j-1
v A e Z. Theo gi thit quy np, ta c Y _ X
+
. X Y theo b 5.2; p dng lut bc cu cho X
Y v Y Z c X Z. Do A e Z nn Z A theo lut phn x. p dng lut bc cu cho X
Z v Z A, ta c X A v do A e X
+
Ngc li, cn chng minh rng nu A e X
+
th A phi thuc vo X
j
no . C iu khng
quan trng l thut ton 5.1 c th kt thc sm hn trc khi tnh ton bc th j cho X
j
. Nu thut
ton dng bc X
i
= X
i-1
vi i < j th r rng rng X
i
= X
j
. Do vy X
i
= X
+
, trong c c thuc
tnh A. Trong qu trnh chng minh cn s dng ti h tin Armstrong: X Y suy din t F th
mi thuc tnh A e Y c thm vo ti mi X
j
no . Cc bc quy np s thc hin thm mt s
dng, trong mi dng l mt ph thuc hm thuc F v s dng lut phn x hoc gi thit ca
bc quy np trc hoc s dng lut tng trng v lut bc cu. Cui cng s l X Y.
44
6.3. Cc dng chun ca lc quan h
nh ngha. Cho R(U) l lc quan h vi U = {A
1
, A
2
,, A
N
} l tp cc thuc tnh, F l tp
cc ph thuc hm trn R v A e U. Chng ta ni rng A l thuc tnh kha nu A thuc mt kha
ti thiu no ca R. Ngc li A c gi l thuc tnh khng kha.
nh ngha. Cho R(U) l lc quan h vi U = {A
1
, A
2
,, A
N
} l tp cc thuc tnh, F l tp
cc ph thuc hm trn R v X, Y _ U. Chng ta ni rng Y ph thuc hm y vo X nu:
- X Y e F
+
- X c X th X Y e F
+
Ngc li, chng ta s ni Y ph thuc b phn vo X.
Nh vy, Y ph thuc hm y vo X nu Y ph thuc hm vo X nhng khng ph thuc
hm vo bt k mt tp con thc s no ca X.
nh ngha. Cho R(U) l lc quan h vi U = {A
1
, A
2
,, A
N
} l tp cc thuc tnh, F l tp
cc ph thuc hm trn R v X _ U, A e U. Chng ta ni rng A l ph thuc bc cu vo X nu
tn ti mt tp thuc tnh Y, Y _ U sao cho X Y, Y A thuc F
+
nhng Y X khng thuc
F
+
. Ngc li, chng ta s ni rng A khng ph thuc hm bc cu vo X hay A ph thuc trc
tip vo X.
6.3.1. Dng chun 1 (1NF)
Mt quan h c chun ha l quan h trong mi min gi tr ca mt thuc tnh ch cha
nhng gi tr nguyn t tc l nhng gi tr khng th phn chia c na. Mt quan h c cha
mt min gi tr ca mt thuc tnh no l khng nguyn t c gi l quan h khng chun
hay quan h phi chun. Tuy nhin, vi mt quan h khng chun nao , chng ta lun lun c th
chun ha n v dng mt quan h chun ha.
nh ngha. Mt lc quan h R c gi l dng chun mt (1NF) nu v ch nu ton
b cc min gi tr ca cc thuc tnh trong R u ch cha c gi tr nguyn t.
Mt quan h xc nh trn lc quan h dng chun 1 c ni l quan h dng chun
mt.
6.3.2. Dng chun 2 (2NF)
nh ngha. Mt lc quan h R c gi l dng chun hai (2NF) nu n dng
chun mt v mi thuc tnh khng kha ca R u ph thuc hm y vo kha chnh.
Mt quan h xc nh trn lc quan h dng chun hai c ni l quan h dng chun
hai.
6.3.3. Dng chun 3 (3NF)
45
nh ngha. Mt lc quan h R c gi l dng chun ba (3NF) nu n dng
chun hai v mi thuc tnh khng kha ca R u khng ph thuc bc cu vo kha chnh.
Mt quan h xc nh trn lc quan h dng chun ba c ni l quan h dng chun
ba.
6.3.4. Dng chun Boyce-Codd (BCNF)
nh ngha. Mt lc quan h R vi tp ph thuc hm F c gi l dng chun Boye-
Codd nu vi mi X A thuc F
+
v A e X th X cha mt kha ca R. Ni cch khc, s
quan h R ch c cc ph thuc hm khng tm thng l nhng ph thuc hm trong mt kha
xc nh hm mt hay nhiu thuc tnh khc.
nh l. Mi s quan h R vi tp ph thuc hm F dng chun Boye-Codd th cng
dng chun ba.
6.4. Php tch lc quan h
6.4.1. Php tch bo ton thng tin
Gi s lc quan h R c phn tch thnh cc s con R
1
, R
2
,, R
k
v F l tp cc ph
thuc hm trn R. Ta ni php tch ny l khng mt mt thng tin i vi F nu mi quan h r trn
R m tha mn F th:
r = H
R1(r)
* H
R2(r)
** H
Rk(r)
tc l quan h r l kt ni t nhin ca nhng quan h l php chiu ca n trn mi R
i
.
Gi m
l nh x c nh ngha nh sau:
m
(r) = H
R1(r)
* H
R2(r)
** H
Rk(r)
tc m
.
B . Cho lc quan h R, = {R
1
, R
2
,, R
k
}, r l mt quan h trn R v r
i
= H
Ri
(r). Th
(a) r _ m
(r)
(b) Nu s = m
th H
Ri
(s) = r
i
(c) m
( m
(r)) = m
(r)
B c th chng minh d dng da trn khi nim php tch v nh ngha ca m
.
Kim tra php tch l khng mt mt thng tin.
Liu mt php tch c l mt thng tin hay khng i vi mt tp cc ph thuc hm cho trc
c kim tra thng qua thut ton sau:
46
Thut ton. Kim tra php tch khng mt mt thng tin.
Vo: Lc quan h R = {A
1
, A
2
,, A
N
}, tp ph thuc hm F trn R v mt php tch =
{R
1
, R
2
,, R
k
} trn R.
Ra: Khng nh php tch c mt mt thng tin hay khng?
Phng php:
- Xy dng mt bng n ct, k hng; ct j tng ng vi thuc tnh A
j
v hng i tng ng vi
lc con R
i
. Ti v tr hng i, ct j, nu A
j
thuc R
i
th ta in k hiu a
j
vo , ngc li ta in
k hiu b
ij
.
- Xt ln lc cc ph thuc hm tng F v p dng cc ph thuc hm ny cho bng va c
xy dng. Gi s chng ta xt ph thuc hm X Y e F. Nu tn ti hai hng m tt c cc ct
tng ng vi cc thuc tnh ca X c gi tr nh nhau th ta lm cho cc ct ng vi cc thuc tnh
ca Y cng c gi tr nh nhau trong hai hng ny theo nguyn tc sau: Nu c mt k hiu a
j
trong
cc ct ng vi cc thuc tnh ca Y th ng nht cc k hiu l a
j
. Nu khng ng nht bng mt
trong cc k hiu b
ij
.
- Tip tc p dng cc ph thuc hm cho bng (k c vic lp li cc ph thuc hm c
p dng) cho ti khi khng th p dng c na (khng th thay i c gi tr no trong bng
na).
- Nu trong bng c mt hng gm cc k hiu a
1
, a
2
,, a
n
th php tch l khng mt mt thng
tin. Ngc li th php tch l khng bo ton thng tin.
nh l. Cho = {R
1
, R
2
} l mt php tch trn R v F l tp ph thuc hm trn R th php
tch ny l khng mt mt thng tin nu R
1
R
2
R
1
\ R
2
hoc R
1
R
2
R
2
\ R
1
Ch : cc ph thuc hm trn khng nht thit thuc F, ch cn thuc F
+
.
6.4.2. Php tch bo ton ph thuc
Tch quan h: Lc quan h n R = {A1, A2,..., An} c tch thnh mt tp hp cc lc
quan h D = {R1,R2,...,Rm}. Mt cch hnh thc, ta c iu kin bo ton thuc tnh: Ri = R.
Tnh khng y ca cc dng chun: Mc ch ca chng ta l mi quan h ring r Ri trong
php tch D l dng chun BCNF hoc 3NF. Tuy nhin, iu khng m bo mt thit
k CSDL tt. Bn cnh vic xem xt tng quan h ring r, chng ta cn xem xt ton b php tch.
Vic mi ph thuc hm X Y trong F hoc c xut hin trc tip trong mt trong cc lc
quan h Ri trong php tch D hoc c th c suy din t cc ph thuc hm c trong Ri l rt c
li. Ta gi l iu kin bo ton ph thuc.
nh l: Lun lun tm c mt php tch bo ton ph thuc D i vi F sao cho mi quan h Ri
trong D l 3NF
47
Thut ton: To mt php tch bo ton ph thuc D = {R1,R2,...,Rm} ca mt quan h R da
trn mt tp ph thuc hm F sao cho mi Ri trong D l 3NF. Thut ton ny ch m bo tnh
cht bo ton ph thuc, khng m bo tnh cht ni khng mt mt.
Input: Mt quan h R v mt tp ph thuc hm F trn cc thuc tnh ca R.
1. Tm ph ti thiu G ca F.
2. Vi mi v tri X ca mt ph thuc hm xut hin trong
G, hy to mt lc trong D vi cc thuc tnh
{X U {A1} U {A2} U ... U {Ak}} trong X A1,X A2,...,X Ak ch l cc ph thuc hm
trong G vi X l v tri (X l kha ca quan h ny).
3. t cc thuc tnh cn li (nhng thuc tnh cha c t vo quan h no) vo mt quan h
n m bo tnh cht bo ton thuc tnh.
6.5. Chun ha lc quan h
6.5.1. Tch lc quan h v 3NF
Thut ton. Tch mt lc thnh 3NF.
Vo: Lc quan h R, tp cc ph thuc hm F; Khng lm mt tnh tng qut gi s rng F
l mt tp ph thuc hm ti thiu.
Ra: Php tch khng mt mt thng tin trn R sao cho mi lc con u 3NF.
Phng php:
Bc 1. Loi b tt c cc thuc tnh ca R nu cc thuc tnh khng lin quan n mt ph
thuc hm no ca F, hoc v tri, hoc v phi. V nguyn tc cc thuc tnh ny c th hnh thnh
mt s quan h ring v khng tnh n vo php tch R v 3NF.
Bc 2. Nu c ph thuc hm no ca F lin quan ti tt c cc thuc tnh ca R th kt qu
chnh l R.
Bc 3. Ngc li, kt qu ra bao gm cc lc XA ng vi mt ph thuc hm X A
trong F. Tuy nhin, nu chng ta c cc ph thuc hm X A
1
, X A
2
, , X A
N
th chng ta
c th s dng lc XA
1
A
2
A
N
thay cho XA
i
vi i = 1, 2,, N.
6.5.2. Tch lc quan h v BCNF
B .
a. Gi s R l mt s quan h vi tp ph thuc hm F. t = (R
1
, R
2
,, R
k
) l mt php
tch khng mt thng tin ca R i vi F. Vi mi I = 1, 2,, k, gi F
i
l hnh chiu ca F ln R
i
,
v t o = (S
1
, S
2
,, S
m
) l mt php tch khng mt mt thng tin ca R
i
i vi F
i
.
48
Th php tch R thnh (R
1
,, R
i-1
, S
1
, S
2
,, S
m
, R
i+1
,, R
k
) l khng mt mt thng tin i
vi F.
b. Gi s R, F v p nh trong (a), t = (R
1
, R
2
,, R
k
, R
k+1
,., R
n
) l mt php tch ca R thnh
tp cc lc cha cc lc ca th t l mt php tch khng mt mt thng tin.
Thut ton. Tch khng mt mt thng tin v dng chun Boye-Codd
Vo: Lc quan h R, tp ph thuc hm F trn R.
Ra: - mt php tch khng mt mt thng tin bao gm mt tp cc lc con trong mi
lc u dng chun Boye-Codd vi cc ph thuc hm l hnh chiu ca F ln lc .
Phng php:
- Chng ta xy dng mt php tch i vi R theo phng php lp. Mi ln lp, s c
tch tip vi mt php tch khng mt mt thng tin i vi F.
- Ban u, t = (R). Nu S l mt s quan h trong , khng dng chun Boye-Codd,
xt mt ph thuc hm X A ca S, vi iu kin X khng cha kha ca S v A e X. Ta thay
th S vi S
1
, S
2
vi S
1
= A {X}, S
2
= S \ {A}
- Tip tc qu trnh trn cho n khi mi lc con u dng chun Boye-Codd, chng ta s
xy dng c php tch khng mt mt thng tin chun ha R v dng chun Boye-Codd.
49
MT S THI MU
50
Trng i Hc Hng Hi Vit Nam
Khoa Cng ngh Thng tin
B MN H THNG THNG TIN
-----***-----
THI KT THC HC PHN
Tn hc phn: C S D LIU
Nm hc: x
thi s: K duyt :
x x
Thi gian: 60 pht
Cu 1: (2 im)
a. Cho bit s khc nhau chnh gia h thng x l tp tin v h qun tr d liu.
b. nh ngha dng chun 1 (1NF), dng chun 2 (2NF). Cho v d minh ha.
Cu 2: (4 im)
Cho mt c s d liu v Ngn hng nh sau:
Ngn hng c nhiu chi nhnh ti cc a im khc nhau. Mi chi nhnh lu gi thng tin
v chi tit ti khon ca khch hng ti chi nhnh . Cc khch hng c th c mt ti khon hoc
nhiu ti khon. Ngn hng cho khch hng vay vi nhiu mc ch s dng khc nhau. Ngn hng
lu gi thng tin v cc giao dch c thc hin bi cc ti khon khch hng. Tt c cc chi
nhnh c nhiu nhn vin v mt s nhn vin gi chc v ngi qun l.
a. V s Thc th-Lin kt m t nhng thng tin trong c s d liu trn.
b. Chuyn s Thc th-Lin kt trn sang lc quan h.
(c th b sung thm cc gi thit khc m t bi ton nu cn thit)
Cu 3: (2 im)
Cho lc quan h sau:
Suppliers(sid: integer, sname: string, address: string)
Parts(pid: integer, pname: string, color: string)
Catalog(sid: integer, pid: integer, cost: real)
(Suppliers: thng tin v cc nh cung cp; Parts: thng tin v cc loi hng ha; Catalog:
thng tin v gi bn cc loi hng ha ca cc nh cung cp).
a. Vit truy vn sau trong i s quan h: Tm tn ca nhng nh cung cp c sn phm
mu (RED) hoc mu xanh (GREEN)
b. Cho bit mc ch ca cc truy vn c vit dng i s quan h sau:
cos 100 ' '
cos 100 ' '
( (( ar ) ( ata log) ))
( (( ar ) ( ata log) ))
t sid color red
t sid color green
P ts C Suppliers
P ts C Suppliers
t o o
t o o
< =
< =
Cu 4: (2 im)
Cho lc quan h R vi cc thuc tnh ABCDE c cc ph thuc hm sau:
A B, BC E, v ED A.
Xc nh dng chun cao nht R tha mn (1NF, 2NF, 3NF, BCNF). Gii thch.
----------------------------***HT***----------------------------
Lu : - Khng sa, xa thi, np li sau khi thi
51
Trng i Hc Hng Hi Vit Nam
Khoa Cng ngh Thng tin
B MN H THNG THNG TIN
-----***-----
THI KT THC HC PHN
Tn hc phn: C S D LIU
Nm hc: x
thi s: K duyt :
x x
Thi gian: 60 pht
Cu 1: (2 im)
a. Gii thch s khc nhau gia cc mc tru tng d liu trong h qun tr d liu.
b. Gii thch cc vn v d tha d liu trong c s d liu. Cho v d minh ha.
Cu 2: (4 im)
Cho mt c s d liu v Bnh vin nh sau:
Bnh vin c nhiu khoa khm bnh. Mi khoa c nhiu bc s. Mt bc s ch thuc vo
mt khoa. Mt bc s c th khm cho nhiu bnh nhn. Mt bnh nhn c th c khm bi
nhiu bc s. Thng tin v cc ln khm bnh c lu gi trong s khm bnh theo di.
a. V s Thc th-Lin kt m t nhng thng tin trong c s d liu trn.
b. Chuyn s Thc th-Lin kt trn sang lc quan h.
(c th b sung thm cc gi thit khc m t bi ton nu cn thit)
Cu 3: (2 im)
Cho lc quan h sau:
Suppliers(sid: integer, sname: string, address: string)
Parts(pid: integer, pname: string, color: string)
Catalog(sid: integer, pid: integer, cost: real)
(Suppliers: thng tin v cc nh cung cp; Parts: thng tin v cc loi hng ha; Catalog:
thng tin v gi bn cc loi hng ha ca cc nh cung cp).
a. Vit truy vn sau trong i s quan h: Tm tn ca nhng nh cung cp c tt c cc
loi sn phm.
b. Cho bit mc ch ca cc truy vn c vit dng i s quan h sau:
cos 100 ' '
( ( ( ar ) ( atalog) ))
sname t sid color red
P ts C Suppliers t t o o
< =
Cu 4: (2 im)
Cho lc quan h R vi bn thuc tnh ABCD c cc ph thuc hm sau:
C D, C A, v B C.
Xc nh dng chun cao nht R tha mn (1NF, 2NF, 3NF, BCNF). Gii thch.
----------------------------***HT***----------------------------
Lu : - Khng sa, xa thi, np li sau khi thi
52
Trng i Hc Hng Hi Vit Nam
Khoa Cng ngh Thng tin
B MN H THNG THNG TIN
-----***-----
THI KT THC HC PHN
Tn hc phn: C S D LIU
Nm hc: x
thi s: K duyt :
x x
Thi gian: 60 pht
Cu 1: (2 im)
a. Gii thch cc khi nim: d liu, c s d liu, h qun tr d liu.
b. Gii thch cc khi nim: kha, siu kha, kha chnh, kha ng c, kha ngoi.
Cu 2: (4 im)
Cho mt c s d liu v Cng ty bo him xe hi nh sau:
Cng ty bo him c nhiu khch hng mua bo him xe hi. Mi khch hng s hu mt
hoc nhiu xe. Mi xe c mua mt loi bo him ca cng ty. Mi xe c th khng c hoc c
mt n nhiu h s v tai nn c yu cu bi thng.
a. V s Thc th-Lin kt m t nhng thng tin trong c s d liu trn.
b. Chuyn s Thc th-Lin kt trn sang lc quan h.
(c th b sung thm cc gi thit khc m t bi ton nu cn thit)
Cu 3: (2 im)
Cho lc quan h sau:
Suppliers(sid: integer, sname: string, address: string)
Parts(pid: integer, pname: string, color: string)
Catalog(sid: integer, pid: integer, cost: real)
(Suppliers: thng tin v cc nh cung cp; Parts: thng tin v cc loi hng ha; Catalog:
thng tin v gi bn cc loi hng ha ca cc nh cung cp).
a. Vit truy vn sau trong i s quan h: Tm tn ca nhng nh cung cp c sn phm
mu (RED) v mu xanh (GREEN).
b. Cho bit mc ch ca cc truy vn c vit dng i s quan h sau:
cos 100 ' '
cos 100 ' '
( (( ar ) ( ata log) ))
( (( ar ) ( ata log) ))
sname t color red
sname t color green
P ts C Suppliers
P ts C Suppliers
t o o
t o o
< =
< =
Cu 4: (2 im)
Cho lc quan h R vi cc thuc tnh ABCDE c cc ph thuc hm sau:
A BC, BC E, v E DA.
Xc nh dng chun cao nht R tha mn (1NF, 2NF, 3NF, BCNF). Gii thch.
----------------------------***HT***----------------------------
Lu : - Khng sa, xa thi, np li sau khi thi
53
Trng i Hc Hng Hi Vit Nam
Khoa Cng ngh Thng tin
B MN H THNG THNG TIN
-----***-----
THI KT THC HC PHN
Tn hc phn: C S D LIU
Nm hc: x
thi s: K duyt :
x x
Thi gian: 60 pht
Cu 1: (2 im)
a. Trnh by cc bc c bn trong qu trnh thit k c s d liu.
b. Cho bit cc tin Amstrong v b c s dng tm cc ph thuc hm.
Cu 2: (4 im)
Cho mt c s d liu v Nhn vin cng ty nh sau:
Mt cng ty c nhiu phng ban. Mi phng ban c nhiu nhn vin. Mi nhn vin phi
thuc vo mt phng ban no . Mt s nhn vin c th gi chc v Ngi qun l. Nhn vin c
th c chuyn t phng ban ny sang phng ban khc ti cc thi im khc nhau ty theo yu
cu ca cng ty.
a. V s Thc th-Lin kt m t nhng thng tin trong c s d liu trn.
b. Chuyn s Thc th-Lin kt trn sang lc quan h.
(c th b sung thm cc gi thit khc m t bi ton nu cn thit)
Cu 3: (2 im)
Cho lc quan h sau:
Suppliers(sid: integer, sname: string, address: string)
Parts(pid: integer, pname: string, color: string)
Catalog(sid: integer, pid: integer, cost: real)
(Suppliers: thng tin v cc nh cung cp; Parts: thng tin v cc loi hng ha; Catalog:
thng tin v gi bn cc loi hng ha ca cc nh cung cp).
a. Vit truy vn sau trong i s quan h: Tm tn ca nhng nh cung cp c tt c cc
loi sn phm mu (RED).
b. Cho bit mc ch ca cc truy vn c vit dng i s quan h sau:
cos 100 ' '
( ( ar ) ( atalog) )
sname t sid color red
P ts C Suppliers t t o o
< =
Cu 4: (2 im)
Cho lc quan h R vi bn thuc tnh ABCD c cc ph thuc hm sau:
B C, v D A.
Xc nh dng chun cao nht R tha mn (1NF, 2NF, 3NF, BCNF). Gii thch.
----------------------------***HT***----------------------------
Lu : - Khng sa, xa thi, np li sau khi thi
54
Trng i Hc Hng Hi Vit Nam
Khoa Cng ngh Thng tin
B MN H THNG THNG TIN
-----***-----
THI KT THC HC PHN
Tn hc phn: C S D LIU
Nm hc: x
thi s: K duyt :
x x
Thi gian: 60 pht
Cu 1: (2 im)
a. Cho bit nhng u im khi s dng h qun tr d liu qun l d liu.
b. nh ngha dng chun 3 (3NF), dng chun 4 (4NF). Cho v d minh ha.
Cu 2: (4 im)
Cho mt c s d liu v Th vin:
Mt th vin c nhiu sch. Mi cun sch c vit bi mt hoc nhiu tc gi. Mi cun
sch thuc vo mt hoc nhiu th loi sch khc nhau. Th vin c nhiu gi sch t ti nhiu v
tr khc nhau. Mi cun sch c t mt gi sch no trong th vin.
a. V s Thc th-Lin kt m t nhng thng tin trong c s d liu trn.
b. Chuyn s Thc th-Lin kt trn sang lc quan h.
(c th b sung thm cc gi thit khc m t bi ton nu cn thit)
Cu 3: (2 im)
Cho lc quan h sau:
Suppliers(sid: integer, sname: string, address: string)
Parts(pid: integer, pname: string, color: string)
Catalog(sid: integer, pid: integer, cost: real)
(Suppliers: thng tin v cc nh cung cp; Parts: thng tin v cc loi hng ha; Catalog:
thng tin v gi bn cc loi hng ha ca cc nh cung cp).
a. Vit truy vn sau trong i s quan h: Tm tn ca nhng nh cung cp c tt c cc
loi sn phm mu (RED) hoc mu xanh (GREEN).
b. Cho bit mc ch ca cc truy vn c vit dng i s quan h sau:
cos 100 ' '
cos 100 ' '
( (( ar ) ( ata log) ))
( (( ar ) ( ata log) ))
t sid color red
t sid color green
P ts C Suppliers
P ts C Suppliers
t o o
t o o
< =
< =
Cu 4: (2 im)
Cho lc quan h R vi cc thuc tnh ABCDE c cc ph thuc hm sau:
AB C, AB D, C A, v D B.
Xc nh dng chun cao nht R tha mn (1NF, 2NF, 3NF, BCNF). Gii thch.
----------------------------***HT***----------------------------
Lu : - Khng sa, xa thi, np li sau khi thi