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 . 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 . #α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. !#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: