Khoa HTTT-i hc CNTT 1

Bi 7: Rng buc ton vn

Khoa HTTT-i hc CNTT 2
Ni dung chnh
1. Gii thiu rng buc ton vn (RBTV)
2. Cc c trng ca mt RBTV
3. Phn loi RBTV
4. Bng tm nh hng tng hp

Khoa HTTT-i hc CNTT 3
1. Gii thiu
Rng buc ton vn l cc quy nh, iu kin t
ng dng thc t, cc iu kin ny l bt bin.

V th phi lun m bo c s d liu tho rng
buc ton vn sau mi thao tc lm thay i tnh
trng ca c s d liu.
Khoa HTTT-i hc CNTT 4
2.1 Ni dung
2.2 Bi cnh
2.3 Bng tm nh hng
2. Cc c trng ca mt
RBTV
Khoa HTTT-i hc CNTT 5
M t cht ch ngha ca rng buc ton
vn.
Ni dung c pht biu bng ngn ng t
nhin hoc bng ngn ng hnh thc (ngn
ng tn t, i s quan h, m gi,)
Ngn ng t nhin: d hiu nhng khng cht
ch, logic.
Ngn ng hnh thc: cht ch, c ng
2.1 Ni dung
Khoa HTTT-i hc CNTT 6
2.2 Bi cnh
L tp cc quan h khi thao tc trn nhng
quan h c kh nng lm cho rng buc b
vi phm.
l nhng quan h c th vi phm rng
buc ton vn khi thc hin cc thao tc
thm, xo, sa.
Khoa HTTT-i hc CNTT 7
2.3 Bng tm nh hng (1)
Nhm xc nh khi no tin hnh kim tra
rng buc ton vn. Thao tc no thc hin
c th lm vi phm rng buc ton vn.
Phm vi nh hng ca mt rng buc ton
vn c biu din bng mt bng 2 chiu
gi l bng tm nh hng.
Khoa HTTT-i hc CNTT 8
2.3 Bng tm nh hng (2)
Mt s quy nh
Nhng thuc tnh kho (nhng thuc tnh nm
trong kho chnh ca quan h) khng c php
sa gi tr
Thao tc thm v xo xt trn mt b ca quan h.
Thao tc sa xt sa tng thuc tnh trn b ca
quan h
Trc khi xt thao tc thc hin c th lm vi phm
rng buc hay khng th CSDL phi tho rng buc
ton vn trc.
Khoa HTTT-i hc CNTT 9
Rng buc
Ri

Thm Xa Sa
Quan h 1

Quan h n
Bng tm nh hng ca mt rng buc





+ : thc hin thao tc c th lm vi phm RBTV
- : thc hin thao tc khng th lm vi phm RBTV
+(A) : c th lm vi phm RBTV khi sa trn thuc tnh A

(*)
: khng vi phm RBTV do thao tc khng thc hin c
2.3 Bng tm nh hng (3)
Khoa HTTT-i hc CNTT 10
3.1 RBTV c bi cnh trn 1 quan h
3.2 RBTV c bi cnh trn nhiu quan h
3.3 Ph thuc hm (functional dependency)
3. Phn loi
Khoa HTTT-i hc CNTT 11
3.1 RBTV c bi cnh 1 quan h
3.1.1 RBTV min gi tr.
3.1.2 RBTV lin thuc tnh
3.1.3 RBTV lin b
Khoa HTTT-i hc CNTT 12
Lc CSDL qun l gio v
HOCVIEN (MAHV, HO, TEN, NGSINH, GIOITINH, NOISINH, MALOP)
LOP (MALOP, TENLOP, TRGLOP, SISO, MAGVCN)
KHOA (MAKHOA, TENKHOA, NGTLAP, TRGKHOA)
MONHOC (MAMH, TENMH, TCLT, TCTH, MAKHOA)
DIEUKIEN (MAMH, MAMH_TRUOC)
GIAOVIEN(MAGV,HOTEN,HOCVI,HOCHAM,GIOITINH,NGSINH,NGVL,
HESO, MUCLUONG, MAKHOA)
GIANGDAY(MALOP,MAMH,MAGV,HOCKY, NAM,TUNGAY,DENNGAY)
KETQUATHI (MAHV, MAMH, LANTHI, NGTHI, DIEM, KQUA)
Khoa HTTT-i hc CNTT 13
L tp gi tr m mt thuc tnh c th nhn.
R1: Gii tnh ca hc vin ch l Nam hoc N
Ni dung:
hv e HOCVIEN: hv.Gioitinh e {Nam,N}
Bi cnh: quan h HOCVIEN
Bng tm nh hng:
3.1.1 Rng buc min gi tr
R1
Thm Xa Sa
HOCVIEN + - +(Gioitinh)
Khoa HTTT-i hc CNTT 14
L rng buc gia cc thuc tnh vi nhau trn 1 b
ca quan h
R2:Ngy bt u (TUNGAY) ging dy mt mn hc cho mt
lp lun nh hn ngy kt thc (DENNGAY)
Ni dung:
gd e GIANGDAY: gd.TUNGAY < gd.DENNGAY
Bi cnh : GIANGDAY
Bng tm nh hng:
3.1.2 Rng buc lin thuc tnh
R2
Thm Xa Sa
GIANGDAY + - +(Tungay, Denngay)
Khoa HTTT-i hc CNTT 15
3.1.3 Rng buc lin b (1)
L rng buc gia cc b trn cng mt quan h (c th
lin quan n nhiu thuc tnh).
R3: Tt c cc hc vin phi c m s phn bit vi nhau
Ni dung:
h
1
,h
2
e HOCVIEN: Nu h
1
=h
2
th h
1
.Mahv=h
2
.Mahv
Bi cnh: quan h HOCVIEN
Bng tm nh hng:
R3
Thm Xa Sa
HOCVIEN + - -
(*)
Khoa HTTT-i hc CNTT 16
3.1.3 Rng buc lin b (2)
R4: Cc gio vin c cng hc v, cng h s lng th
mc lng s bng nhau
Ni dung:
gv
1
,gv
2
e GIAOVIEN:
Nu (gv
1
.Hocvi=gv
2
.Hocvi).(gv
1
.Heso=gv
2
.Heso) th
gv.Mucluong=gv.Mucluong
Bi cnh: quan h GIAOVIEN
Bng tm nh hng:
R4
Thm Xa Sa
GIAOVIEN
+ - +(Hocvi, Heso, Mucluong)

Khoa HTTT-i hc CNTT 17
3.2.1 RBTV tham chiu (kho ngoi, ph
thuc tn ti)
3.2.2 RBTV lin thuc tnh
3.2.3 RBTV do thuc tnh tng hp
3.2.4 RBTV do chu trnh trong lc biu
din quan h
3.2 RBTV c bi cnh nhiu quan
h
Khoa HTTT-i hc CNTT 18
L rng buc quy nh gi tr thuc tnh
trong mt b ca quan h R (tp thuc tnh
ny gi l kho ngoi), phi ph thuc vo s
tn ti ca mt b trong quan h S (tp thuc
tnh ny l kho chnh trong quan h S).

RBTV tham chiu cn gi l rng buc ph
thuc tn ti hay rng buc kha ngoi

3.2.1 Rng buc tham chiu (1)
Khoa HTTT-i hc CNTT 19
R5: Hc vin thi mt mn hc no th mn hc
phi c trong danh sch cc mn hc
Ni dung:
k e KETQUATHI, -m e MONHOC: k.Mamh = m.Mamh
Hoc: KETQUATHI[Mamh] _ MONHOC[Mamh]
Bi cnh: quan h KETQUATHI, MONHOC
Bng tm nh hng:
3.2.1 Rng buc tham chiu (2)
R5
Thm Xa Sa
KETQUATHI
+ - -(*)
MONHOC
- + -(*)
Khoa HTTT-i hc CNTT 20
3.2.2 Rng buc lin thuc tnh (1)
L rng buc gia cc thuc tnh trn nhng quan h
khc nhau
R6: Ngy gio vin ging dy mt mn hc phi ln hn hoc
bng ngy gio vin vo lm.
Ni dung: gd e GIANGDAY
Nu -gv e GIAOVIEN: gd.Magv = gv.Magv th
gv.NGVL s gd.TUNGAY
Bi cnh: GIANGDAY, GIAOVIEN
Bng tm nh hng:
R6 Thm Xa Sa
GIANGDAY + - +(Tungay)
GIAOVIEN - - +(Ngvl)
Khoa HTTT-i hc CNTT 21
3.2.2 Rng buc lin thuc tnh (2)
R7: Ngy thi mt mn hc phi ln hn ngy kt thc hc
mn hc .
Ni dung:
kq e KETQUATHI
Nu -gd eGIANGDAY, -hv eHOCVIEN:
(gd.Malop=hv.Malop).(kq.Mamh=gd.Mamh) th
gd.Denngay < kq.Ngthi

Bi cnh: GIANGDAY, HOCVIEN, KETQUATHI
Khoa HTTT-i hc CNTT 22
3.2.2 Rng buc lin thuc tnh (3)
Bng tm nh hng:

R7 Thm Xa Sa
HOCVIEN - - +(Malop)
GIANGDAY - - +(Denngay)
KETQUATHI + - +(Ngthi)
Khoa HTTT-i hc CNTT 23
3.2.3 RBTV do thuc tnh tng hp (1)
L rng buc gia cc thuc tnh, cc b trn nhng
quan h khc nhau.
Thuc tnh tng hp l thuc tnh c tnh ton t
gi tr ca cc thuc tnh khc, cc b khc.
V d : SANPHAM(Masp,Tensp, Nuocsx, Gia)
KHACHHANG(Makh, Hoten, Doanhso)
HOADON(Sohd, Nghd,Makh,Trigia)
CTHD(Sohd,Masp,Soluong,Gia)
Tr gi ca mt ho n bng tng thnh tin ca cc chi tit
thuc ho n
Khoa HTTT-i hc CNTT 24
3.2.3 RBTV do thuc tnh tng hp (2)
Doanh s ca mt khch hng bng tng tr gi cc
ho n m khch hng mua
Ni dung:
kh e KHACHHANG,
kh.Doanhso =
(hd e HOADON: hd.Makh=kh.Makh)
(hd.Trigia)

Bi cnh: KHACHHANG, HOADON
Bng tm nh hng:

Thm Xa Sa
KHACHHANG - - +(Doanhso)
HOADON + + +(Trigia)
Khoa HTTT-i hc CNTT 25
3.2.3 RBTV do thuc tnh tng hp (3)
R8: S s ca mt lp l s lng hc vin thuc lp
Ni dung:
l e LOP,
l.Siso = Count
(hv e HOCVIEN: hv.Malop = lp.Malop)
(*)

Bi cnh: quan h LOP, HOCVIEN
Bng tm nh hng:

R8 Thm Xa Sa
LOP + - +(Siso)
HOCVIEN + + +(Malop)
Khoa HTTT-i hc CNTT 26
3.2.4 Do hin din ca chu trnh (1)
Biu din lc quan h di dng th:
Quan h c biu din bng nt trn rng to
Thuc tnh c biu din bng nt trn c nh
Tt c cc nt u c ch r bng tn ca quan h
hoc thuc tnh. Thuc tnh thuc mt quan h
c biu din bi mt cung ni gia nt trn to v
nt trn nh
Nu th biu din xut hin mt ng khp kn
=> lc CSDL c s hin din ca chu trnh.
Khoa HTTT-i hc CNTT 27
3.2.4 Do hin din ca chu trnh (2)
GIAOVIEN
GIANGDAY
MONHOC
Tenmh
TCLT
Mamh

Malop
Magv
Hoten
Hocvi
Makhoa
Y
X
Khoa HTTT-i hc CNTT 28
3.2.4 Do hin din ca chu trnh (3)
X = GIANGDAY[Magv, Mamh]
Y = (GIAOVIEN MONHOC) [Magv,Mamh]
ngha:
X: gio vin v nhng mn hc c phn cng cho
gio vin ging dy
Y: gio vin v nhng mn hc thuc khoa gio vin
ph trch
Mi quan h gia X v Y trong cc rng buc sau:
Makhoa
Khoa HTTT-i hc CNTT 29
3.2.4 Do hin din ca chu trnh (4)
Rng buc 1: gio vin ch c phn cng
ging dy nhng mn thuc khoa gio vin
ph trch X_Y
Rng buc 2: gio vin phi c phn cng
ging dy tt c nhng mn thuc khoa gio
vin ph trch X=Y
Rng buc 3: c th phn cng gio vin
ging dy bt k mn hc no X = Y
Khoa HTTT-i hc CNTT 30
3.2.4 Do hin din ca chu trnh (4)
R9: gio vin ch c phn cng ging dy nhng
mn thuc khoa gio vin ph trch X_Y

R9 Thm Xa Sa
MONHOC - - +(Makhoa)
GIAOVIEN - - +(Makhoa)
GIANGDAY + - +(Magv)
Khoa HTTT-i hc CNTT 31
3.3 Ph thuc hm (1)
Cho quan h Q(A, B, C). Ph thuc hm A xc nh
B. K hiu A B nu:
q
1
,q
2
eQ: Nu q
1
.A=q
2
.A th q
1
.B=q
2
.B
A B c gi l ph thuc hm hin nhin nu
B_A
A B c gi l ph thuc hm nguyn t nu
-AcA, A=A sao cho A B
Khoa HTTT-i hc CNTT 32
3.3 Ph thuc hm (2)
Mi quan h u c t nht mt ph thuc hm
Rng buc kho cng l mt ph thuc hm
Mamh Tenmh, Tclt, Tcth, Makhoa
R4: Cc gio vin c cng hc v, cng h s lng
th mc lng s bng nhau. Rng buc ny c th
biu din bng ph thuc hm nh sau:
Hocvi,Heso Mucluong
Khoa HTTT-i hc CNTT 33
4. Bng tm nh hng tng hp (1)
Bng tm nh hng tng hp ca m rng buc trn n
quan h bi cnh
QH
1
QH
2
QH
n
T X S T X S T X S
R1
R2

Rm
Khoa HTTT-i hc CNTT 34
HOCVIEN

GIAOVIEN LOP MONHOC GIANGDAY KETQUA
THI
T X S T X S T X S T X S T X S T X S
R1 + - +
R2 + - +
R3 + - -*
R4 + - +
R5 - + -* + - -*
R6 - - + + - +
R7 - - + - - + + - +
R8 + + + + - +
R9 - - + - - + + - +
4. Bng tm nh hng tng hp (2)