B
Bà
ài
i7. PH
7. PHỤ
ỤTHU
THUỘ
ỘC D
C DỮ
ỮLI
LIỆ
ỆU TRONG
U TRONG
MÔ HÌNH QUAN H
MÔ HÌNH QUAN HỆ
Ệ
I .
I . Ph
Phụ
ụthu
thuộ
ộc
ch
hà
àm
m( Functional Dependencies : FD)
( Functional Dependencies : FD)
1 .
1 . Đ
Đị
ịnh
nh ngh
ngh ĩ
ĩa
a:
:
Cho
Cho R(U)
R(U) l
là
àm
mộ
ột
tlư
lượ
ợc
cđ
đồ
ồquan
quan h
hệ
ệv
vớ
ới
iU = { A1, ..
U = { A1, ..
,An}
,An} l
là
àt
tậ
ập
pthu
thuộ
ộc
ct
tí
ính
nh. X
. X v
và
àY
Y l
là
àt
tậ
ập
pcon
con c
củ
ủa
aU.
U.
N
Nó
ói
ir
rằ
ằng
ng X
X Y (
Y ( đ
đọ
ọc
cl
là
àX
X x
xá
ác
cđ
đị
ịnh
nh h
hà
àm
mY
Y ho
hoặ
ặc
cY
Y
ph
phụ
ụthu
thuộ
ộc
ch
hà
àm
mv
và
ào
oX)
X) n
nế
ếu
ur
r l
là
àm
mộ
ột
tquan
quan h
hệ
ệx
xá
ác
cđ
đị
ịnh
nh
trên
trên R (U)
R (U) sao
sao cho
cho b
bấ
ất
tk
kỳ
ỳhai
hai b
bộ
ột1, t2
t1, t2 r
r m
mà
à
t1[ X] = t2[ X]
t1[ X] = t2[ X] th
thì
ìt1[ Y] = t2[ Y]
t1[ Y] = t2[ Y]
TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí
V
Ví
íd
dụ
ụ:
:Trong quan hệSV, mỗi thuộc tính
DIACHI, NS, KETQUA đều phụthuộc hàm (pth ) vào
thuộc tính SV#. Mỗi giá trịSV# xác định duy nhất
một giá trịtương ứng đối với từng thuộc tính đó. Khi
đó , có thểviết :
SV# DIACHI
SV# NS
SV# KETQUA
Nếu Y X thì hiển nhiên X Y
TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí
2. H
2. Hệ
ệtiên
tiên đ
đề
ềcho
cho ph
phụ
ụthu
thuộ
ộc
ch
hà
àm
m
2 .1 . K/ n
2 .1 . K/ n bao
bao đ
đó
óng
ng c
củ
ủa
am
mộ
ột
tt
tậ
ập
pph
ph ụ
ụthu
thuộ
ộc
ch
hà
àm
m
•
•G
Gọ
ọi
iF
F l
là
àt
tậ
ập
pt
tấ
ất
tc
cả
ảc
cá
ác
cpth
pth đ
đố
ối
iv
vớ
ới
ilư
lượ
ợc
cđ
đồ
ồquan
quan h
hệ
ệ
R(U)
R(U) v
và
àX
X
Y
Y l
là
àm
mộ
ột
tpth
pth, X, Y
, X, Y
U.
U.
•
•N
Nó
ói
ir
rằ
ằng
ng X
X
Y
Y đư
đượ
ợc
csuy
suy di
diễ
ễn
nlogic
logic t
từ
ừF
F n
nế
ếu
um
mỗ
ỗi
i
quan
quan h
hệ
ệr
r trên
trên R( U)
R( U) đ
đề
ều
utho
thoả
ảc
cá
ác
cpth
pth c
củ
ủa
aF
F th
thì
ìc
cũ
ũng
ng
tho
thoả
ảX
X
Y.
Y.
•
•Ch
Chẳ
ẳng
ng h
hạ
ạn
nF = { A
F = { A
B, B
B, B
C}
C} th
thì
ìA
A
C
C
•
•T
Tậ
ập
pt
tấ
ất
tc
cả
ảc
cá
ác
cpth
pth đư
đượ
ợc
csuy
suy di
diễ
ễn
nlogic
logic t
từ
ừF
F đư
đượ
ợc
cg
gọ
ọi
i
l
là
àbao
bao đ
đó
óng
ng c
củ
ủa
aF.
F. K
Kí
íhi
hiệ
ệu
ul
là
àF
F+
+.
.
•
•N
Nế
ếu
uF
F+
+= F
= F th
thì
ìF
F l
là
àh
họ
ọđ
đầ
ầy
yđ
đủ
ủc
củ
ủa
ac
cá
ác
cpth
pth
TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí
2.2. H
2.2. Hệ
ệtiên
tiên đ
đề
ềAmstrong
Amstrong
Năm
Năm 1974,
1974, Am strong
Am strong đưa
đưa ra
ra h
hệ
ệlu
luậ
ật
td
dẫ
ẫn
n
hay
hay c
cá
ác
ct
tí
ính
nh ch
chấ
ất
tc
củ
ủa
aph
phụ
ụthu
thuộ
ộc
ch
hà
àm
m,
, g
gọ
ọi
i
l
là
àh
hệ
ệtiên
tiên đ
đề
ềAm strong
Am strong:
:
Cho
Cho X, Y, Z, W
X, Y, Z, W
U . Ta
U . Ta c
có
óc
cá
ác
clu
luậ
ật
tsau
sau :
:
A1 .
A1 . Lu
Luậ
ật
tph
phả
ản
nx
xạ
ạ:
:
N
Nế
ếu
uY
Y
X
X th
thì
ìX
X
Y
Y
A2 .
A2 . Lu
Luậ
ật
tb
bổ
ổsung :
sung :
X
X
Y
Y th
thì
ìXZ
XZ
YZ
YZ
A3 .
A3 . Lu
Luậ
ật
tb
bắ
ắc
cc
cầ
ầu
u:
:
N
Nế
ếu
uX
X
Y
Y v
và
àY
Y
Z
Z th
thì
ìX
X
Z
Z
TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí
H
Hệ
ệtiên
tiên đ
đề
ềAm strong
Am strong đư
đượ
ợc
cch
chứ
ứng
ng m inh
m inh
l
là
àđ
đú
úng
ng đ
đắ
ắn
nv
và
àđ
đầ
ầy
yđ
đủ
ủthông
thông qua 3
qua 3 b
bổ
ổ
đ
đề
ềsau
sau:
:
B
Bổ
ổđ
đề
ề1 :
1 : H
Hệ
ệtiên
tiên đ
đề
ềAstrong
Astrong l
là
àđ
đú
úng
ng.
.
C
Có
óngh
nghĩ
ĩa
al
là
à,
, v
vớ
ới
iF
F l
là
àm
mộ
ột
tt
tậ
ập
pc
cá
ác
cpth
pth
đ
đú
úng
ng trên
trên quan
quan h
hệ
ệr.
r. N
Nế
ếu
uX
X
Y
Y l
là
àm
mộ
ột
t
pth
pth đư
đượ
ợc
csuy
suy d
dẫ
ẫn
nt
từ
ừF
F nh
nhờ
ờh
hệ
ệtiên
tiên đ
đề
ề
Am strong
Am strong th
thì
ìX
X
Y
Y l
là
àđ
đú
úng
ng trên
trên quan
quan
h
hệ
ệr
r
TopTaiLieu.Com | Chia Sẻ Tài Liệu Miễn Phí