intTypePromotion=1
zunia.vn Tuyển sinh 2024 dành cho Gen-Z zunia.vn zunia.vn
ADSENSE

Bài giảng Cơ sở dữ liệu - Chương 8.3: Chuẩn hóa

Chia sẻ: Cố Dạ Bạch | Ngày: | Loại File: PDF | Số trang:23

6
lượt xem
2
download
 
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

Bài giảng Cơ sở dữ liệu - Chương 8.3: Chuẩn hóa. Chương này cung cấp cho sinh viên những nội dung gồm: giới thiệu về chuẩn hóa; các dạng chuẩn dựa trên khóa chính; thuộc tính đa trị và nhóm thuộc tính lặp; dạng chuẩn Boyce-Codd (BCNF);... Mời các bạn cùng tham khảo!

Chủ đề:
Lưu

Nội dung Text: Bài giảng Cơ sở dữ liệu - Chương 8.3: Chuẩn hóa

  1. BÀI GI NG CƠ S D LI U 8. Chu n hóa Nguy n H i Châu Khoa Công ngh Thông tin Trư ng Đ i h c Công ngh , ĐHQGHN N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 1 / 23
  2. Gi i thi u v chu n hóa Quá trình chu n hóa (Codd đ ngh năm 1972): l y m t lư c đ quan h và th c hi n các phép ki m tra đ xác nh n lư c đ có th a mãn m t s đi u ki n nh t đ nh (d ng chu n) hay không; n u không các lư c đ quan h s đư c tách ra Codd đ xu t ba d ng chu n 1, 2 và 3 (1NF, 2NF, 3NF) Sau đó Boyce và Codd đ ngh d ng chu n Boyce-Codd (BCNF) m nh hơn 3NF Các d ng chu n này d a trên các ph thu c hàm gi a các thu c tính c a m t lư c đ quan h Sau đó d ng chu n 4 (4NF) và 5 (5NF) đư c đ xu t d a trên ph thu c hàm đa tr và ph thu c hàm n i N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 2 / 23
  3. Gi i thi u v chu n hóa Chu n hóa d li u có th đư c xem là quá trình phân tích và tách các lư c đ quan h đ đ t đư c hai m c tiêu: C c ti u hóa s dư th a C c ti u hóa các phép c p nh t b t thư ng Phép tách các lư c đ quan h c n có hai tính ch t: Tính ch t n i không m t mát (ph i đ t đư c) Tính ch t b o toàn ph thu c N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 3 / 23
  4. Các d ng chu n d a trên khóa chính N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 4 / 23
  5. D ng chu n 1 (1NF) M t lư c đ quan h R(A1 , A2 , ..., An ) là d ng chu n 1 (1NF - first normal form) n u Dom(Ai ) ch ch a các giá tr nguyên t (không phân chia đư c) ∀i và ∀t =< t1 , t2 , ..., tn >∈ r (R), ti ∈ Dom(Ai ), ti nh n giá tr đơn Như v y 1NF không cho phép có các thu c tính đa tr ho c các nhóm thu c tính l p N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 5 / 23
  6. Thu c tính đa tr và nhóm thu c tính l p MaDV TenDV MaNQL Diadiem 5 Nghiên c u NV002 Nam Đ nh,Hà N i,B c Ninh 4 Hành chính NV014 Hà N i 1 Tài v NV061 Hà N i MaDA TenDA TenNV Sogio 1 DA01 Vân,Nam 15,20 2 DA02 Nam,Thanh,B ng 10,12,28 3 DA03 Thanh 20 N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 6 / 23
  7. Chu n hóa 1NF Gi s K là khóa c a lư c đ quan h R và A là thu c tính đa tr ho c là nhóm thu c tính l p Đ chu n hóa R v 1NF: Lo i A ra kh i R T o m t lư c đ quan h m i S(K , A) v i khóa chính c a S là: {K , A} n u A là thu c tính đa tr {K , KA } n u A là nhóm thu c tính l p, KA là khóa b ph n c aA N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 7 / 23
  8. Ví d chu n hóa 1NF 1 Lư c đ DONVI(MaDV , TenDV , MaNQL, Diadiem), v i Diadiem là thu c tính đa tr : Lo i Diadiem ra kh i DONVI: DONVI1 (MaDV , TenDV , MaNQL) T o lư c đ quan h m i DIADIEMDV (MaDV , Diadiem) 2 Lư c đ NHANVIEN_LAMVIEC (MaDA, TenDA, MaNV , Sogio), trong đó (MaNV , Sogio) là nhóm thu c tính l p Lo i (MaNV , Sogio) ra kh i NHANVIEN_LAMVIEC : NHANVIEN_LAMVIEC1 (MaDA, TenDA) T o lư c đ quan h m i NHANVIEN_SOGIO(MaDA, MaNV , Sogio) N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 8 / 23
  9. D ng chu n 2 (2NF) M t ph thu c hàm X → Y là m t ph thu c hàm đ y đ n u b đi b t kỳ m t thu c tính A ∈ X thì ph thu c hàm đó không còn đúng n a N u t n t i m t thu c tính B sao cho (X − B) → Y , chúng ta nói r ng Y ph thu c hàm b ph n vào X M t lư c đ quan h R là d ng chu n 2 (2NF - second normal form) n u: R là 1NF, và M i thu c tính không khóa A trong R ph thu c hàm đ y đ vào khóa chính c a R N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 9 / 23
  10. Chu n hóa 2NF Gi s R là lư c đ quan h d ng chu n 1NF và không là 2NF, có khóa K Đ chu n hóa R v 2NF, đ i v i m i nhóm thu c tính không khóa X ph thu c hàm b ph n vào K : Lo i X ra kh i R G i khóa b ph n c a K xác đ nh hàm X là KX : KX → X T o lư c đ quan h m i S(KX , X ) v i KX là khóa chính N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 10 / 23
  11. Ví d chu n hóa 2NF Lư c đ quan h d ng chu n 1NF NHANVIEN_DUAN(MaNV , MaDA, Sogio, Hoten, TenDA, Diadiem) v i các ph thu c hàm: {MaNV , MaDA} → {Sogio, Hoten, TenDA, Diadiem} MaNV → Hoten (ph thu c hàm b ph n) MaDA → {TenDA, Diadiem} (ph thu c hàm b ph n) NHANVIEN_DUAN không là 2NF do Hoten, TenDA và Diadiem ph thu c hàm b ph n vào khóa chính {MaNV , MaDA} Chu n hóa v 2NF: Lo i Hoten, TenDA, Diadiem ra kh i NHANVIEN_DUAN: NHANVIEN_DUAN1 (MaNV , MaDA, Sogio) T o lư c đ quan h m i 1: N1 (MaNV , Hoten) T o lư c đ quan h m i 2: N2 (MaDA, TenDA, Diadiem) N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 11 / 23
  12. D ng chu n 3 (3NF) M t ph thu c hàm X → Y trong m t lư c đ quan h R là m t ph thu c hàm b c c u n u t n t i m t t p h p thu c tính Z c a R không ph i là khóa và không ph i là t p con c a khóa sao cho X → Z và Z → Y đ u đúng M t lư c đ quan h R là d ng chu n 3 (3NF - third normal form) n u R là 2NF, và Không có thu c tính không khóa nào c a R ph thu c hàm b c c u vào khóa chính N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 12 / 23
  13. Chu n hóa 3NF Gi s R là lư c đ quan h có khóa chính K ; R d ng chu n 2NF và không d ng chu n 3NF Đ chu n hóa R v 3NF, v i m i thu c tính X ph thu c b c c u vào K : Lo i b X ra kh i R G i Y là thu c tính b c c u, ta có: K → Y và Y → X T o lư c đ quan h m i S(Y , X ) v i Y là khóa chính N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 13 / 23
  14. Ví d chu n hóa 3NF Lư c đ LAMVIEC (MaNV , Hoten, Ngaysinh, MaDV , TenDV , MaDA, TenDA) v i các thu c tính đơn, d ng chu n 2NF vì khóa chính ch có m t thu c tính (→ không có ph thu c hàm b ph n), có các ph thu c hàm: MaNV → {Hoten, Ngaysinh, MaDV , TenDV , MaDA, TenDA} MaDV → TenDV MaDA → TenDA LAMVIEC không d ng chu n 3NF vì các ph thu c hàm b c c u MaNV → MaDV → TenDV và MaNV → MaDA → TenDA Chu n hóa LAMVIEC v 3NF: Lo i {TenDV , TenDA} ph thu c b c c u vào khóa chính: LAMVIEC1 (MaNV , Hoten, Ngaysinh, MaDV , MaDA) T o lư c đ quan h m i N1 (MaDV , TenDV ) T o lư c đ quan h m i N2 (MaDA, TenDA) N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 14 / 23
  15. D ng chu n Boyce-Codd (BCNF) M t lư c đ quan h R là d ng chu n Boyce-Codd (BCNF - Boyce-Codd normal form) n u R là 3NF, và Không có thu c tính khóa ph thu c hàm vào thu c tính không khóa trong R N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 15 / 23
  16. Chu n hóa BCNF Gi s R là lư c đ quan h có khóa K , R là 3NF và không là BCNF Đ chu n hóa R v BCNF, đ i v i m i thu c tính không khóa A xác đ nh hàm thu c tính khóa A → KS , v i KS ⊂ K : Lo i KS ra kh i R và b sung A vào khóa chính c a R. Khóa chính m i c a R là: K − KS ∪ {A} T o lư c đ m i S(A, KS ) v i A là khóa chính N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 16 / 23
  17. Ví d chu n hóa BCNF Lư c đ R(A1 , A2 , A3 , A4 , A5 , A6 ) có các ph thu c hàm: {A1 , A2 } → {A3 , A4 , A5 , A6 }: {A1 , A2 } là khóa chính A4 → A2 A6 → A1 R là 2NF (không có ph thu c hàm b ph n) và 3NF (không có ph thu c hàm b c c u t khóa chính) R không là BCNF vì có thu c tính khóa ph thu c hàm vào thu c tính không khóa Chu n hóa v BCNF: Lo i A2 ra kh i R và b sung A4 vào khóa chính: R(A1 , A4 , A3 , A5 , A6 ) T o quan h m i S1 (A4 , A2 ) v i A4 là khóa chính Lo i A1 ra kh i R và b sung A6 vào khóa chính: R(A6 , A4 , A3 , A5 ) T o quan h m i S2 (A6 , A1 ) v i A6 là khóa chính N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 17 / 23
  18. Minh h a và "t khóa" c a các d ng chu n N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 18 / 23
  19. Đ nh nghĩa t ng quát các d ng chu n N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 19 / 23
  20. D ng chu n 1 (1NF) M t lư c đ quan h R(A1 , A2 , ..., An ) là d ng chu n 1 (1NF) n u Dom(Ai ) ch ch a các giá tr nguyên t (không phân chia đư c) ∀i và ∀t =< t1 , t2 , ..., tn >∈ r (R), ti ∈ Dom(Ai ), ti nh n giá tr đơn N. H. Châu (VNU-UET) Cơ s d li u: Chu n hóa https://bit.ly/2AmGfir 20 / 23
ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
2=>2