Bài tập về chuẩn hóa pot

 Soạn bởi bộ môn Công nghệ phần mềm
5. BµI TËP VÒ chuẨN HOÁ
MỤC TIÊU CỦA BÀI NÀY GIÚP NGƯỜI HỌC
  !"#$ #%
 &'()*+,-'./ !01%
 234503678 !9#$ #:;,#+,-'.
$ #:$ #<= !>6+? !#1@<%
 AB)C#',-)*6D6+,-'.#$ #9)>E
FE%
A/ NHẮC LẠI LÝ THUYẾT
I. CÁC ĐỊNH NGHĨA, TÍNH CHẤT
1. Dạng chuẩn 1 (1NF - first normal form)
*+,-'.$ #αG:HI<',-J+0/ !)*:KI<L 70ML >5
)8C("# *N"#O'8  P?Q:FEB6#',-<%
Chú ý:
RNFEB6#',-M9N>,@'Q%
;(S#0P1>P#PCT>FU$ # !9#01V/KI%
2. Dạng chuẩn 2 ( 2NF- Second normal form)
RC,WF?X  !XYH#ZD2N4[# 'P\
&D.)Y+,-'.$ #R:]RH^]2_<70
2_:]RH2HR_HR]HH_<65E78FL$"#"#
)*'@7(01'9%
RC1$ #R`]R+0F9#70C1$ #2_`]R702+0
F9#%
/$ #X#a3>PCT]RH2H_Z'(FL$ "#[7?
b2HR_HR]HZ'('Q,-c
&D0"#Y+,-'.$ #R702_,[# \
R
]R ^]2_
R1 RdPE
e RdPX#

9# RdP^#1
2_
]R 2 R_ R]  _
R1 KK # Yf  g%f
R1 KY  h YK i j%k
9# KK # Yf  j%f
9# KY  h YK i l%f
e KK # Yf  k%f
e Km  YY n o%f
TrangK
 Soạn bởi bộ môn Công nghệ phần mềm
3. Dạng chuẩn 3 ( 3NF- Second normal form)
;(S#\1+,-'.$ #αG:HI<H+,-'.α',-J+0/ !mHFN
+0mIHL ,+,-'./ !KI70 *NFEF1"#α+0FE
64 *0)pd 701F1N%
4. Dạng chuẩn Boyce Codd ( BCNF- Boyce Codd normal form)
Định nghĩa:1+,-'.$ #α G:HI<H+,-'.α',-J+0/ !n1Ph
1HFN +0nIHL ,+,-'./ !KI70L &i∈I
q
:i⊄&<`&
65+0[? F1"#+,-'.%
5. Tách lược đồ quan hệ
;(S#\D6+,-'.$ #αG:HI<+06D6#PL9T)*36+,-
'.1αG:HI<HGKH%%HF7W'8 F


≠φ∀GKH%%%HFH∪

GHI


GIr

HI

+0`L "#I+?36 *N

D6'9',-Fe +0σGsKHYH%%HFt
AN αG:HI<HσGsKHYH%%HFt+0)*6D6F'9O+0)*$ #C?HFN
)
δ
:O<GOu
K
vwOu
Y
vw%%%wOu
F
v
Định nghĩa: phép tách kết nối không mất thông tin
1+,-'.$ #αG:HI<706D6δ

GsKHYH%%HFt'Q7W+,-'.'9%
6D6δ',-J+06D6FLQFE)>EL )J$ #OC?`
#9)
δ
:O<GOH,-+L )
δ
:O<≠O`#96D6δ+06D6)>E%
6.Thuật toán kiểm tra phép tách kết nối có mất thông tin hay không?
D liệu v!o:
xR36 *N

xR3664 *0)I
xD6δGsKHYH%%HFt
Ra:
&'(+ 6D6δ9)>E#PFEy
Phương pháp:
^5[zGsKHYH%%HtH#ZPc)*5.)Fb*:G{{HFG{δ{<H*X
"#5X7W *NH0X|"#5X7W+,-'.1α

G:HI<H
070*|#'8FN #|:#JFN #|+0N N<L  *N#| ∈HL
FE#'8(|:#J|+0N 64<%
nP}#L'~5,[# \
2W)•64 *0)&i∈IHL C19#0Q# C?36 *N&
#d+0)€Q# C?36 *Nih1$ Pp[# \
x L )*C1#C(+0N 64`#[z#+N(? 640N
NX+0[z#|0#|
x L 5#+0N(? 64`#[z#+#N '9T)*C1FN |H
X+0[z#+M[Q1Q# %
RL646464 *0)C15:FB64 *0)'•',-[z4<
1WFFEb64',-‚#%
 #[C15 Qƒ\L Z >N>)*0.)10N
N:0.)10FN #<`6D6FLQ+0FE)>EHC,}-6
,-++0FLQ)>E%
7. Phương pháp chuẩn hóa dữ liệu
TrangY
 Soạn bởi bộ môn Công nghệ phần mềm
7.1. Thuật toán tách lược đồ thành 3NF
Input: Lược đồ quan hệ α =(U, F)
Output: Các lược đồ ở dạng 3NF
:KHAK<H:YHAY<H„%H:HA<…#)•\

#<† #OC?`OuKvwOuYvw„wOuvGO
<AKHAYH„HA+0F1"#+,-'.1,X
Phương pháp:
1. Tìm một khóa K của lược đồ
α
2. Tìm một phủ G tối thiểu của F
G={K1

A1, K2

A2, …, Kp

Ap}
3. Ghép các phụ thuộc h!m có cùng vế trái trong G để thu được phủ
G={K1

X1, K2

X2, …, Kn

Xn}
4. Phép tách
δ
={K1X1, K2X2, …, KnXn} nếu khoá K không có mặt trong
th!nh phần n!o của
δ
thì thêm th!nh phần K v!o
δ
.
5. Return

δ
7.2. Tách không mất thông tin thành các lược đồ ở dạng BCNF
1+,-'.αG:HI<H706D6δGsKHYH%%HFtH6D6)*+,-'.0)*
36+,-'./nI+06D6…#)•\
x D6δ+06D6FLQFE)>E
x R>5+,-'.1αG:HI<'8 /nI
Phương pháp :
& >6=)*64 *0)&01'9"#IH64 *0)&0P76)'8
FnIH#ZPc6D6δGsKHYtH,@X7W+,-'.αK70αY[#11\
x D6'9+06D6FLQFE)>E
x 4 *0)&+064 *0)"#+,-'.αK709…#)•'8 F
 #nIC1+,-'.0P
x L ,+,-'.αK70αY7‡,#/nI`L64$ C`'9H`
'8 76)nI'8 (+1…H Qƒ# ',-)*36+,-'.1'8 /
nI70$ C`+ E+ E')16D6FLQFE)>E%
@[/"# 31C?+01L+,-'.αG:HI<,#/nI1'9.
64 *0)&H&H&FE65+0[? F1
KG&HYGˆ
Nhận xét
&G
K
∩
Y
H
K
ˆ
Y
GH'•9&1'9
K
∩

Y

K
ˆ
Y

h1'(+e/6dC?`
6D6δGsKHYt+06D69FLQFE)>E%2`
K
G&7064 *
0)&+0 P>C?+,-'.αKG:KHIK<?&+0[? F1%
L αKHαY,#/nI`#64$ C`,@c% Qƒ#
',-)*36+,-'./nI70$ C`+0FE)>E%
Ví dụ:
1+,-'.αG:HI<7W
GOR^:\1 C[hHR\Rh#hCH1 CHO\O11)H\ hH^\^C1 6<
IGsRHOHOH^HOt
Trangm
 Soạn bởi bộ môn Công nghệ phần mềm
Nhận xét
x,-'.0P9 P>)*F1+0
x,-'.0P,#/nI
xR#>PC1+,-'.αG:HI<964 *0)^76)'8 FnI?#
+,-'.0+,-KG^HYGRO
xR#>PC1+,-'.αYG:YHIY<964 *0)R76)'8 FnI?
#+,-'.0+,-mGRHoGO
xR#>PC1+,-'.αoG:oHIo<964 *0)O76)'8 FnI
?#+,-'.0+,-kGOHlG
,73P6D6 Qƒ+0δGs^HRHOHt
III.MỘT SỐ LƯU Ý

 Rd)$ #CJ"#7 !9#‚+ %
  !H6,@66$ #/ !>6+?
 !#1@%
 R 31FB)C#6D69)>EFEy
B/ BÀI TẬP MẪU
Bài số 1: AB)C#6D69)>E#PFEy
1+,-'.$ #αG:HI<7W
Gs
K
H
Y
H
m
H
o
H
k
t
IGs
K

Y

m
H
Y

o

k

H
Y

m
t
δGs
K

Y

o
H
Y

m
H
K

o

k
t
…CT6D6δC?9FLQFE)>EFEy
Hướng dẫn:
Trango
αG:HI<

K
G^
I

K
Gs^t
AG

Y
GRO
I
Y
GsRHOHOHOt
AG

m
GR
I
m
GsRt
AG

o
GO
I
o
GsOHOHOt
AG

k
GO
I
k
GsOHOt

AGOHAG

l
G
I
l
Gst
AG
 Soạn bởi bộ môn Công nghệ phần mềm
‰64 31FB)C#6D69)>EFEH#L0=,W%
Giải:
&Pc5.)mbk*
x;8N 7015
A
1
A
2
A
3
A
4
A
5
U
1
#
1
a
2
b

13
a
4
b
15
U
2
b
12
a
2
a
3
b
24
b
25
U
3
a
1
b
32
b
33
a
4
a
5
xnL'~5C?c#7013664 *0)I

qz464 *0)
K

Y

m
#L'~5
A
1
A
2
A
3
A
4
A
5
U
1
a
1
a
2
b
13
a
4
b
15
U

2
b
12
a
2
a
3
b
24
b
25
U
3
a1
a
2
b
13
a
4
a
5
qz464 *0)
Y

o

k
A
1

A
2
A
3
A
4
A
5
U
1
a
1
a
2
b
13
a
4
a
5
U
2
b
12
a
2
a
3
b
24

b
25
U
3
a
1
a
2
b
13
b
4
a
5
qz464 *0)
Y

m
A
1
A
2
A
3
A
4
A
5
U
1

a
1
a
2
a
3
a
4
a
5
U
2
B
12
a
2
a
3
b
24
b
25
U
3
a
1
a
2
a
3

a
4
a
5
RC150P90 Qƒ.)10N NH173P6D6δ+06D6
FLQFE)>E%
C/ BÀI TẬP TỰ GIẢI
Bài tập 1:
ƒFŠ 35FB)C#6D6[# 9)>EFE
#<αG:HI<7WGnHIGs→nH→tHδGsnHt
Trangk
 Soạn bởi bộ môn Công nghệ phần mềm
<αG:HI<7WGn_HIGs→Hn→H→H_→H_→tHδGsHnHn_H_t
<&'(705N !#1>"#+,-'.$ #αG:HI<7WGnH
IGs→H→nH→nt
Bài tập 2:
1+,-'.$ #αG:HI<7W
Gn_^
IGs→H_→nH→^Hn→_H→^H→t
…CT6D6δG:n_HnH_^<9FLQ)>EFE%
Bài tập 3:
1+,-'.$ #αG:HI<7W
GnHIGs→nH→Hn→t
&'( !#1>"#+,-'.$ #C?
Bài tập 4:
1+,-'.$ #αG:HI<7W
GnHIGs→nH→Hn→t
&'( !#1>"#+,-'.$ #C?
Bài tập 5:
1αG: HI<7W

Gn_70
IGs→Hn→H→H_→H_→t
FB)C#NFLQFE)>E'Q7W6D6
δGsHnHn_H_H_t
Bài tập 6:
1αG: HI<7W
Gn_I70
IGsn→H→nHn→_HI→t
FB)C#NFLQFE)>E'Q7W6D6
δGsnHHn_HnIt
Bài tập 7:
1αG: HI<7W
Gn_^
IGs→^H→H→_H→nt
FB)C#NFLQFE)>E'Q7W6D6
δGs^HH_Hnt
Bài tập 8:
1αG: HI<7W
Gn_70
IGs→Hn→H→H_→H_→t
FB)C#NFLQFE)>E'Q7W6D6
Trangl
 Soạn bởi bộ môn Công nghệ phần mềm
δGsHHn_HnH_t
Bài tập 9:
1:G:HI<7W
G&i‹Œ7036
IGsi→ŒHŒ→iH&i→‹t
 !#1>"#+,-'.+0`y
Bài tập 10:

1:G:HI<7W
Gn_^703664 *0)
IGsn→H→_H_^→Hn→^t
δGs_^Hn_^t
D6C?9)>EFEy
•PX))J$ #M9Y *N'8/ !nIy
Bài tập 11:
&D$ #O:n_<703664 *0)
IGsn→_H_→nH→t
•P`) !#1>"#+,-'.y
Bài tập 12:
&D$ #O:n_^<703664 *0)
IGs→nH→^H→_H→^t
- •P`)F1"#+,-'.
- •P`) !#1>"#+,-'.
Bài tập 13:
&D$ #O:n<703664 *0)
IGsn→H→nHn→t
•P`) !#1>"#+,-'.
Bài tập 14:
1αG: HI<7W
Gn_I
IGsn→H→nHn→_HI→t
,-'.9/nIFE
Trangj