Đề kiểm tra CSDL (60 phút)

(Trình bày chi tiết các bước của từng yêu cầu, nếu không sẽ loại bỏ đáp án đó)
(Tạo file docs có tên là “Họ và tên - số thứ tự trong bảng điểm” upload vào trong thư mục drive)

Bài 1. Cho lược đồ quan hệ R(U) với:

U = {ABCDEGHKLMN}
F ={ C → DE, G → HK, AG → L, M → AN, A → BC}
1. Hãy tìm khóa

VT = {ACGM}
VP = {ABCDEHKLN}
TN = {GM}
TG = {AC}

Xi Xi giao TN (Xi giao TN)+ Siêu Khóa Khóa

rỗng GM ABCDEGHKMLN GM GM
A AGM ABCDEGHKMLN AGM
C CGM ABCDEGHKMLN CGM
AC ACBGM ABCDEGHKMLN ABCGM

2. Giả sử lược đồ R được phân tách thành:

R1(ABE), R2(BCDE), R3(GHKLM), R4(MNA). Phép tách này có
bảo toàn thông tin không? Giải thích.

Bước 1: Lập bảng

A B C D E G H K L M N
R1 a1 a2 b13 b14 a5 b16 b17 b18 b19 b110 b111
R2 b21 a2 a3 a4 a5 b26 b27 b28 b29 b210 b211
R3 b31 b32 b33 b34 b35 a6 a7 a8 a9 a10 b311
R4 a1 b42 b43 b44 b45 b46 b47 b48 b49 a10 a11

áp dụng các phụ thuộc hàm

 A B C D E G H K L M N
a3(b13
R1 a1 a2 ) b14 a5 b16 b17 b18 b19 b110 b111
R2 b21 a2 a3 a4 a5 b26 b27 b28 b29 b210 b211
a1(b31 a11(b3
R3 ) b32 b33 b34 b35 a6 a7 a8 a9 a10 11)
a3(b43
R4 a1 a2(b42) ) b44 b45 b46 b47 b48 b49 a10 a11

3. R có đạt dạng chuẩn 3 không? Giải thích. Nếu không hãy chuẩn hóa
về dạng 3NF (Sau khi chuẩn hoá kiểm tra phép tách đạt dạng chuẩn
BCNF chưa)?
Xét tất cả các phụ thuốc hàm ta thấy VT đều không chứa khóa => R
không đạt 3FN
1: Khóa: GM( đã trình bày tại câu 1)
2: Tìm phủ tối thiểu
B1: Tách vế phải
F ={ C → D, C→ E, G → H, G → K, AG → L, M → A, M→ N, A → B,
A→ C}
B3: Loại bỏ phụ thuộc hàm dư thừa

Bài 2. Cho lược đồ quan hệ R(U) với:

U = {ABCDEFGHK}
F = {AB → CE, CD → EK, ABC → EFG}
1. R có đạt dạng chuẩn 3 không? Giải thích. Nếu không hãy chuẩn hóa
về dạng 3NF (Sau khi chuẩn hoá kiểm tra phép tách đạt dạng chuẩn
BCNF chưa)?
VT= ABCD
VP = CEKFG
TN = VT-VP= ABD
TG = VT giao VP = C

Xi TN ∪ Xi (TN ∪ Xi) Siêu khóa Khóa

 +
∅ ABD ABDCEKFG ABD ABD
C ABDC ABDCEKFG ABDC

Xét phụ thuộc hàm AB → CE , ta thấy VT không chứa khóa và VP không là

thuộc tính khóa.
=> R không đạt 3NF

1. Phủ tối thiểu của F

B1: Các VP của các phụ thuộc hàm chỉ chứa duy nhất một thuộc tính
F2 = {AB → C, AB → E , CD → E,CD → K, ABC → E, ABC → F, ABC
→ G}
B2: Loại bỏ phụ thuộc hàm dư thừa
+ Xét AB → C có (AB)+ = AB không chứa C -> không dư thừa
+ Xét AB → E có (AB)+ = AB không chứa E -> không dư thừa
+ Xét CD → E có (CD)+ = CD không chứa E -> không dư thừa
+ Xét CD → K có (CD)+ = CD không chứa K -> không dư thừa
+ Xét ABC → E có (ABC)+ = ABC không chứa E -> không dư thừa
+ Xét ABC → F có (ABC)+ = ABC không chứa F -> không dư thừa
+ Xét ABC → G có (ABC)+ = ABC không chứa G -> không dư thừa
B3: Vế trái không có thuộc tính dư thừa (VT có 2 thuộc tính trở lên)
F2 = {AB → C, AB → E, CD → E,CD → K, ABC → E, ABC → F, ABC →
G}
AB → C
+ Xét A→C có (A)+= A không chứa B -> không dư thừa
+ Xét B→C có (B)+= B không chứa A -> không dư thừa
AB → E
+ Xét A→E có (A)+= A không chứa B -> không dư thừa
+ Xét B→E có (B)+= B không chứa A -> không dư thừa
CD → E
+ Xét D→E có (D)+= D không chứa C -> không dư thừa
+ Xét C→E có (C)+= C không chứa D -> không dư thừa
CD → K
+ Xét D→K có (D)+= D không chứa C -> không dư thừa
+ Xét C→K có (C)+= C không chứa D -> không dư thừa
ABC → E
+ Xét A→E có (A)+= A không chứa B,C -> không dư thừa
+ Xét B→E có (B)+= B không chứa A,C -> không dư thừa
+ Xét C→E có (C)+= C không chứa A,B -> không dư thừa
ABC → F
+ Xét A→F có (A)+= A không chứa B,C -> không dư thừa
+ Xét B→F có (B)+= B không chứa A,C -> không dư thừa
+ Xét C→F có (C)+= C không chứa A,B -> không dư thừa
ABC → G
+ Xét A→G có (A)+= A không chứa B,C -> không dư thừa
+ Xét B→G có (B)+= B không chứa A,C -> không dư thừa
+ Xét C→G có (C)+= C không chứa A,B -> không dư thừa

Phủ tối thiểu: F2 = {AB → C, AB → E , CD → E,CD → K, ABC → E, ABC

→ F, ABC → G}

2. Phân rã R về dạng chuẩn 3

Rút gọn: F = {AB → CE, CD → EK, ABC → EFG}
R1(ABCE), R2(CDEK), R3(ABCEFG),
=> Vì ABD ⊄ R1,R2,R3 nên sẽ bổ sung R4(ABD) vào phép tách

F = F = {AB → CE, CD → EK, ABC → EFG}

là quan hệ không đạt chuẩn BCNF vì
Có thuộc tính khoá AB phụ thuộc hàm vào thuộc tính không khoá CE
Có thuộc tính khoá CD phụ thuộc hàm vào thuộc tính không khoá EK
Có thuộc tính khoá ABC phụ thuộc hàm vào thuộc tính không khoá EFG