các hệ cơ sở dữ liệu nâng cao

Bài giảng #1 Các hệ cở sở dữ liệu nâng cao Cao hc KHMT & HTTT Đồng Thị Bích Thủy 04/2012 Các hệ CSDLNC - Cao học 2 (c) Đồng Thị Bích Thủy 1. Vài ñịnh nghĩa (nhắc lại)  Lược ñồ CSDL: C = <Q,D> hoặc C = {<Q i ,D i >} i=1 n  D, D i : tập phụ thuộc ñ/n trên Q, Q i , gồm phụ thuộc hàm, F, F i , và những phụ thuộc dữ liệu khác (ña trị, kết, tồn tại, )  Q + , Q i + : tập thuộc tính của Q, Q i Các hệ CSDLNC - Cao học 3 (c) Đồng Thị Bích Thủy 1. Vài ñịnh nghĩa (tt)  C = {<Q i ,F i >} i=1 n  Nếu ∀ ∀∀ ∀f∈ ∈∈ ∈F i vt(f)=khóa của Q i , F i là tập pth ñược in trong Q i (embodied FD)  Nếu ∀ ∀∀ ∀f∈ ∈∈ ∈F i (vt(f) U vf(f) ) ⊆ ⊆⊆ ⊆ Q i + , F i là tập pth ñược bao trong Q i (embedded FD)  Tập pth ñược bao trong Q chứa tập pth ñược in trong Q. Các hệ CSDLNC - Cao học 4 (c) Đồng Thị Bích Thủy 1. Vài ñịnh nghĩa (tt)  Q(XY) với f:X  A với A∈ ∈∈ ∈Y : kiểm tra f trong TQ như thế nào ? TQ:  Q(ABC) với: f1: A  B (GV    Lp) f2: B  C (Lp    Phòng) f3: A  C (GV    Phòng) Cần kiểm tra pth nào? {f1, f2} hay {f1, f3} hay cả 3? y’3a2x1 y’2a1x2 y’1a1x1 Y’AX Y Các hệ CSDLNC - Cao học 5 (c) Đồng Thị Bích Thủy 1. Vài ñịnh nghĩa (tt)  C = <Q,F>  F => bao ñóng (F): F + =>Phủ (F) => Phủ tối thiểu : PTT(F)  Dùng luật pth (hệ tiên ñề Armstrong) ñể suy ra bao ñóng, các phủ, các phủ tối thiểu.  Trong Q: chỉ cần PTT(F) không bị vi phạm (= ñược thỏa) => toàn bộ F + không bị vi phạm. Các hệ CSDLNC - Cao học 6 (c) Đồng Thị Bích Thủy 2. Cơ chế kiểm tra pth  Cho C = {<Q i ,F i >} i=1 n , Có 3 tình huống:  F i chứa toàn pth ñược in    cơ chế khóa  F i có một pth f ñược bao, mà không phải là pth ñược in    cơ chế ép thỏa nội trong Q i  Có một pth f ñược bao trong nhiều quan hệ: bối cảnh của f =    i Q i    cơ chế ép thỏa “ngoài” trong    i Q i Các hệ CSDLNC - Cao học 7 (c) Đồng Thị Bích Thủy 2. Cơ chế kiểm tra pth (tt) Q 0 (ABCD) F 0 = { {{ {A → →→ → BCD ; B → →→ → CD} }} }  VD1: C 1 = { {{ { < Q 1 (AD) ; F 1 = { {{ { A → →→ → D } }} } >; < Q 2 (BC) ; F 2 = { {{ { B → →→ → C } }} } >; < Q 3 (BD) ; F 3 = { {{ { B → →→ → D } }} }> } }} }  Ki ể m tra A  B: c ầ n thi ế t? c ơ ch ế nào?  Ki ể m tra A  C: c ầ n thi ế t? c ơ ch ế nào?  Ki ể m tra nh ữ ng pth khác: c ơ ch ế nào? Các hệ CSDLNC - Cao học 8 (c) Đồng Thị Bích Thủy 2. Cơ chế kiểm tra pth (tt)  VD2: C 2 = { {{ { < Q 1 (AB) ; F 1 = { {{ { A → →→ → B } }} } >; < Q 2 (BCD) ; F 2 = { {{ {B → →→ → CD} }} } > } }} }  Kiểm tra các pth của F 0 : cơ chế nào? Các hệ CSDLNC - Cao học 9 (c) Đồng Thị Bích Thủy 3. Vấn ñề trùng lắp thông tin  VD3: F = {GVCT    N, P, G; M    GV N, P, G    M; M    P } Xét lược ñồ CSDL C 1 : CoiThi (GVCT , N, G, P) LichThi (N, G, P , M) ; khóa thứ 2 là (N, G, M) GiangDay (M , GV) Các hệ CSDLNC - Cao học 10 (c) Đồng Thị Bích Thủy 3. Vấn ñề trùng lắp thông tin (tt) csdlF2028-103 LtCF10110-122 csdlF1018-102 MPGN csdlF1018-103 LtCF10110-122 csdlF1018-102 MPGN chỉ dùng cơ chế khóa ñể kiểm tra pth (khóa (NGP) hoặc (NGM) ) M   P bị vi phạm có dùng thêm cơ chế ép thỏa nội M   P ñược thỏa, nhưng có trùng lắp thông tin trên (MP) Cho 2 thể hiện của LICHTHI: [...]... i n i dung môn CSDL nâng cao b c ñ i h c) (c) Đ ng Th Bích Th y Các h CSDLNC - Cao h c 16 5 Vai trò c a ph thu c d li u trong xác ñ nh lư c ñ CSDL Đ/v pth: Dùng t p F ñ xác ñ nh lư c ñ CSDL PTT(F) cách ti p c n t ng h p Dùng F ñ “m n hóa” lư c ñ CSDL cách ti p c n phân rã Đ/v ptñt: Dùng t p ptñt và pth ñ “m n hóa” lư c ñ CSDL cách ti p c n phân rã (Xem thêm n i dung môn CSDL nâng cao b c ñ i h c) (c)... tr DC5 (DC Chi u-K t) (c) Đ ng Th Bích Th y pt k t Các h CSDLNC - Cao h c 11 3 V n ñ trùng l p thông tin (tt) Nguyên t c c a DC: t i ña trùng l p thông tin Pt d li u ñư c th a b i m t cơ ch hi u qu (ñ i v i pth: cơ ch khóa), ho c hi n nhiên ñư c th a VD3b: LichThi (N, G, P, M) ; khóa th LT1 (M, P); LT2 (N, G, M) (c) Đ ng Th Bích Th y Các h CSDLNC - Cao h c 2 là (N, G, M) 12 3 V n ñ trùng l p thông tin... Bích Th y Các h CSDLNC - Cao h c 14 4 Tính ch t b o toàn thông tin (tt) GVCT N G P M gc1 n1 g1 p1 m1 gv1 gc2 n1 g1 p2 m2 gv2 gc3 n1 g2 p1 m3 M t th hi n c a C1 GV gv3 M t th hi n c a C2 GVCT N G M N G P GV gc1 n1 g1 m1 n1 g1 p1 gv1 gc2 n1 g1 m2 n1 g1 p2 gv2 gc3 n1 g2 m3 n1 g2 p1 gv3 C2 không tương ñương v i C1 (c) Đ ng Th Bích Th y Các h CSDLNC - Cao h c 15 4 Tính ch t b o toàn thông tin (tt) Cách ki... ng Th Bích Th y Các h CSDLNC - Cao h c 17 4 Vai trò c a ph thu c d (tt) li u PP T ng h p PP phân rã d a vào PTT(F) Xñ lư c ñ CSDL ñ t DC3 H u h t f∈PTT(F) ∈ ñư c th a b i cơ ch khóa Có khi còn vài f ph i ñư c ép th a n i d a vào ñ nh lý phân rã Xñ lư c ñ CSDL ñ t DCBC (n u ch có pth) / DC4 (n u có thêm ptñt) Có khi còn vài f ph i ñư c ép th a ngoài (c) Đ ng Th Bích Th y Các h CSDLNC - Cao h c 18 Câu... l p thông tin (tt) VD3b: LichThi (N, G, P, M) ; khóa th 2 là (N, G, M) LT1 (M, P); LT2 (N, G, M) LichThi LT1; LT2 DC3 Cơ ch ép th a n i ñ/v M P Có trùng l p thông tin trên (M, P) (c) Đ ng Th Bích Th y DCBC Cơ ch ép th a ngoài ñ/v N, G, P M Không còn trùng l p thông tin Các h CSDLNC - Cao h c 13 4 Tính ch t b o toàn thông tin Khi thay th m t lư c ñ CSDL C1 b ng C2: c n b o ñ m C2 ≡ C1 VD4: C1 g m . Bài giảng #1 Các hệ cở sở dữ liệu nâng cao Cao hc KHMT & HTTT Đồng Thị Bích Thủy 04/2012 Các hệ CSDLNC - Cao học 2 (c) Đồng Thị Bích Thủy 1. Vài ñịnh nghĩa. kỹ thuật tableau (xem li ni dung môn CSDL nâng cao bc ñi hc) Các hệ CSDLNC - Cao học 17 (c) Đồng Thị Bích Thủy 5. Vai trò của phụ thuộc dữ liệu trong xác ñịnh lược ñồ CSDL  Đ/v pth:  Dùng. tiếp cận phân rã (Xem thêm ni dung môn CSDL nâng cao bc ñi hc) Các hệ CSDLNC - Cao học 18 (c) Đồng Thị Bích Thủy 4. Vai trò của phụ thuộc dữ liệu (tt)  dựa vào ñịnh lý phân rã  Xñ