1
CHUN HÓA CSDL
Giáo viên: TThúc Nhu
Khoa CNTT trưng ĐH Lc Hng
ÔN THI
CƠ SDLiU
CSDL@Khoa CNTT
2
I- Phthuc hàm:
I- Phthuc hàm:
2
CSDL@Khoa CNTT
3
1. Khái nim phthuc hàm:
1.
1. Kh
Khá
ái
ini
ni
m
mph
ph
thu
thu
c
ch
hà
àm
m:
:
•Cho mt lưcñ quan hQ
•X ⊆Q
+
, Y ⊆Q
+
, X ≠ ∅, Y ≠ ∅
Y phthuc hàm vào X, ký hiu X Y, nu
∀u, v ∈Q: u.X = v.X thì u.Y = v.Y
Quy ưc ký hiu:
•Nu Y không phthuc hàm vào X ta ký hiu: X Y
•f : phthuc hàm
•F : tp các phthuc hàm
CSDL@Khoa CNTT
4
Ví d: Tìm các phthuc hàm trên quan h
Ví d: Tìm các phthuc hàm trên quan h
Xét lưc ñ quan hqun lý kt quhc tp ca sinh viên
KQHT(MaSV, Ten, NS, TenLop, KhoaHoc, MaMH,TenMH,Diem)
•Tân t: Mi sinh viên có mt mã sphân bit vi các sinh viên
khác (MaSV); có tên (Ten), ngày sinh (NS) và hc mt lp
(TenLop). Mi lp có tên lp phân bit và thuc mt khóa hc
(KhoaHoc). Mi môn hc có mt mã sphân bit (MaMH), có
tên môn hc (TenMH) cũng phân bit. Mi sinh viên hc nhiu
môn, mi môn có ñim thi (Diem) ca môn hc ñó.
3
CSDL@Khoa CNTT
5
2- Các Phthuc hàm ñc bit:
2- Các Phthuc hàm ñc bit:
1. Phthuc hàm hin nhiên: X
→
X
2. Phthuc hàm ñyñ (fully functional dependence):
X −−>Y là phthuc hàm ñy ñ
Khi và chkhi ∀
∀∀
∀X' ⊂
⊂⊂
⊂X, X' −/−>
−/−>−/−>
−/−> Y
Ví d: Phthuc hàm MaSV, MaMH −−>
−−>−−>
−−> DiemMH là phthuc
hàm ñyñ vì :
MaSV −/−>
−/−>−/−>
−/−> DiemMH và MsMH −/−>
−/−>−/−>
−/−> DiemMH
CSDL@Khoa CNTT
6
3- Bao ñóng ca tp thuc tính:
3- Bao ñóng ca tp thuc tính:
Cho LĐQH <Q, F
Q
> và X ⊆
⊆⊆
⊆Q
+
.
Bao ñóng ca tp thuc tính X da trên F
Q
, ký hiuX
+FQ
, là tp
các thuc tính phthuc hàm vào X da trên F
Q
.
Ký hiu: X
+FQ
= { Y ∈
∈∈
∈Q
+
: X −−>
−−>−−>
−−> Y ∈
∈∈
∈F
+Q
}
Nhn xét:
1. X ∈
∈∈
∈X
+FQ
2. W −−>
−−>−−>
−−> Z và W ⊆
⊆⊆
⊆X
+FQ
thì Z ⊆
⊆⊆
⊆X
+FQ
4
CSDL@Khoa CNTT
7
Ví d: Tìm bao ñóng ca tp thuc tính
Ví d: Tìm bao ñóng ca tp thuc tính
cho Q(ABCDEGH) và tp phthuc hàm
F
Q
={f
1
:B −−>
−−>−−>
−−>A; f
2
:DA−−>
−−>−−>
−−>CE; f
3
:D −−>
−−>−−>
−−>H; f
4
:GH−−>
−−>−−>
−−>C; f
5
:AC−−>
−−>−−>
−−>D}
1. Tìm bao ñóng ca tp thuc tính X1 = {BD}
2. Tìm bao ñóng ca tp thuc tính X2 = {BCG}
CSDL@Khoa CNTT
8
4- Khóa ca quan h:
4- Khóa ca quan h:
Đnh nghiã:
Cho lưc ñ quan h< Q, F
Q
>
1. S ⊆
⊆⊆
⊆Q
+
, S là siêu khóa ca Q nu S −−>
−−>−−>
−−> Q
+
∈
∈∈
∈F
Q
2. K ⊆
⊆⊆
⊆Q
+
, K là khóa ch ñnh nu
a) K là siêu khóa
b) K
−−>
Q
+
là phthuc hàm ñyñ
5
CSDL@Khoa CNTT
9
II- Dng Chun Trên Quan H:
II
II-
-D
D
ng
ng Chu
Chu
n
nTrên
Trên Quan
Quan H
H
:
:
•Dng chu n 1
•Dng chu n 2
•Dng chu n 3
•Dng chu n BCK
CSDL@Khoa CNTT
10
1- Dng chun 1:
1- Dng chun 1:
1.1Đnh nghĩa DC1:
Mt lưcñ quan hQ ñt dng chun 1 nu mi thuc tính ca
Q ñu là thuc tính ñơn.
1.2 Khái nim Thuc tính ñơn:
Mt thuc tính ñưc gi là thuc tính ñơn nu giá tr"thuc tính
hoc chmang mt thông tin duy nh#t; nuñưc ghép b$i
nhiu thông tin thì hthng thưng truy xu#t trên toàn bgiá tr"
ca nó.
Ví d:
– Thuc tính Đ"a_Ch
– Thuc tính Ngày_Sinh