Professional Documents
Culture Documents
và K=(ACGH).
a)
K = ABCDE
Vậy khóa K = BE
b)
Trái: B, D, E
Phải: A, C, D
Gốc: B, E
Trung gian: D
Câu 3: Cho lược đồ quan hệ R(A,B,C,D,E,F,G,H,I,J) và tập phụ thuộc hàm sau
đây: F = {AB→ C, A → DE, B → F, F → GH, D→ IJ}
a) Tính bao đóng của các tập thuộc tính sau trên F: AC, AF
b) Các phụ thuộc hàm sau có được suy dẫn từ F hay không? AB → H, A → J,
AB→ I
a)
(AC)+ = ACDE
(AF)+ = AFDEGHIJ
b)
Ta có:
+AB→H :
AB → B (phản xạ)
+)AB → J:
AB → A (phản xạ)
c)
Trái: A, B, D, F
Phải: C , D, E, F, G, H, I, J
Gốc: A, B
Trung gian: ∅
d)
Đặt F = ∅
1)Xét AB→C: (AB)+ = ABDEFGHIJ, không chứa C, không, loại được AB→C
F = (AB→C, A→D, A→E, B→F, F→G, F→H, D→I, D→J)
Vậy phủ tối thiểu là: F = (AB→C, A→D, A→E, B→F, F→G, F→H, D→I, D→J)
e)
A→D, có D không là thuộc tính khóa, A là tập con của khóa => Vi phạm chuẩn 2
–Đứa về chuẩn 3:
+ AB→C: R1 ( ABC )
+ A→DE: R2 ( ADE)
+ B→F: R3 ( BF )
+ F→GH: R4 ( FGH )
+ D→IJ: R5 (DIJ )
Bài 4: Cho lược đồ quan hệ R(A,B,C,D,E,F,G,H,I,J) và tập phụ thuộc hàm sau đây:
F= { AB→ C, BD → EF, AD → GH, A → I , H → J }
a) Tính bao đóng của các tập thuộc tính sau trên F: AC, AF
b) Các phụ thuộc hàm sau có được suy dẫn từ F hay không? AB → H, A → J,
AB→ I
a)
Ta có : (AC)+ = ACI
(AF)+ = AFI
b)
–Xét AB→H:
–Xét A→J:
c)
Trái: A, B, D, H
Phải: C, E, F, G, H, I, J
Gốc: A, B, D
Trung gian: H
d)
Đặt F=∅
1)Xét AB→C: AB+ = ABI, không chứa C, không loại được AB→C
2)Xét BD→E: BD+ = BDF, không chứa E, không loại được BD→E
3)Xét BD→F: BD+ =BDE, không chứa F, không loại được BD→F
4)Xét AD→G: AD+ = ADHIJ, không chứa G, không loại được AD→G.
5)Xét AD→H: AD+ = ADGI, không chứa H, không loại được AD→H
Vậy phụ thuộc hàm tối thiểu là: F = {AB→C, BD→E, BD→F, AD→G, AD→H,
A→I, H→J}
e,
+ AB→C: R1(ABC)
+ BD→EF: R2 (BDEF)
+ AD→GH: R3 ( ADGH )
+ A→I: R4 ( AI )
+ H→J: R5 (HJ )
Bài 5: Xét quan hệ R(A,B,C,D,E) và tập các phụ thuộc hàm sau:
F= {AB → C, CD → E, DE → B}
e) R đã là chuẩn BCNF chưa? nếu chưa là chuẩn BCNF hãy đưa về chuẩn BCNF.
a)
Đặt K = ABCDE
b)
Trái: A, B, C, D, E
Phải: B, C, E
Gốc: A, D
Trung gian: B, C, E
Vậy các khóa của lược đồ quan hệ là: ADB, ADC, ADE.
c) F= {AB → C, CD → E, DE → B}
Đặt F = ∅
F= {AB → C, CD → E, DE → B}
F= {AB → C, CD → E, DE → B}
F= {AB → C, CD → E, DE → B}
F= {AB → C, CD → E, DE → B}
F= {AB → C, CD → E, DE → B}
2)Xét CD → E: CD+ = CD, không chứa E, không loại được CD → E
F= {AB → C, CD → E, DE → B}
e)
–Xét AB → C:
a)Trái: A, C, E, H, I
Phải: A, B, C, D, E, H, I, J
Gốc: K
Trung gian: A, C, E, H, I
–Xét K+ = K ≠ U
Đặt F = ∅
F = {C → E, C → H, C→ I, HI → A, HI → B, HI → C, AC → D, AC → J,
EC →A, EC → B}
F = {C → E, C → H, C→ I, HI → A, HI → B, HI → C, AC → D, AC → J,
EC →A, EC → B}
F = {C → E, C → H, C→ I, HI → A, HI → B, HI → C, AC → D, AC → J,
EC →A, EC → B}
F = {C → E, C → H, C→ I, HI → A, HI → B, HI → C, AC → D, AC → J,
EC →A, EC → B}
F = {C → E, C → H, C→ I, HI → A, HI → B, HI → C, C → D, AC → J,
EC →A, EC → B}
F = {C → E, C → H, C→ I, HI → A, HI → B, HI → C, C → D, C → J,
EC →A, EC → B}
6)Xét EC →A: Loại E: C+ = CEHIABJ, chứa A, loại được E
F = {C → E, C → H, C→ I, HI → A, HI → B, HI → C, C → D, C → J,
C →A, EC → B}
F = {C → E, C → H, C→ I, HI → A, HI → B, HI → C, C → D, C → J,
C →A, C → B}
F = {C → E, C → H, C→ I, HI → A, HI → B, HI → C, C → D, C → J,
C →A, C → B}
F = {C → E, C → H, C→ I, HI → A, HI → B, HI → C, C → D, C → J,
C →A, C → B}
F = {C → E, C → H, C→ I, HI → A, HI → B, HI → C, C → D, C → J,
C →A, C → B}
F = {C → E, C → H, C→ I, HI → B, HI → C, C → D, C → J,
C →A, C → B}
F = {C → E, C → H, C→ I, HI → C, C → D, C → J,
C →A, C → B}
F = {C → E, C → H, C→ I, HI → C, C → D, C → J, C →A, C → B}
F = {C → E, C → H, C→ I, HI → C, C → D, C → J, C →A, C → B}
F = {C → E, C → H, C→ I, HI → C, C → D, C → J, C →A, C → B}
C → J, C →A, C → B}
c)
–Đưa về chuẩn 3:
+ C →EHI: R1(CEHI)
+ HI →C: R2(HIC)
+ AC →DJ: R3(ACDJ)
+ C →AB: R4(CAB)
Vậy R tách thành : R1(CEHI), R2(HIC), R3(ACDJ), R4(CAB), R5(KC)
a)
K=ABCDEGHIK
b)
c)
Trái : A, C, K, H, D, G, B, E
Phải : B, C, H, D, E
TG = Trái ∩ Phải : B, C, H, D, E
TG ≠ ∅
(AKGI)
= AKGI ≠ U
d)
B1: F = ∅
Xét ACK → B: loại A: (CK)+ = CK, không chứa B, không loại được A
loại C: (AK)+ = AK, không chứa B, không loại được C
Xét ACK → H: loại A: (CK)+ = CK, không chứa H, không loại được A
2) Xét ACK → H: (ACK)+ = ACK, không chứa H, không loại được ACK → H
ACK → H, có H không là thuộc tính khóa, ACK là tập con của khóa
–Đưa về chuẩn 3:
+ ACK → H: R1(ACKH)
+ CH → BD: R2(CHBD)
+ DG → BE: R3(DGBE)
+ ABCE → D: R4 (ABCED)