Cơ sở dữ liệu - e-ptit.edu.vn

Chương I: Khái niệm cơ bản về các hệ cơ sở dữ liệu
7. Cho Ω = {A, B, C, D} và F = {A → B, A → C} tập các phụ thuộc hàm. Hãy xác
định các phụ thuộc sau phụ thuộc nào được suy dẫn logic từ F :
a) A → B c) BC → A e) AB → B
b) C → D. d) A → BC
8. Cho Ω = {A, B, C, D} và F ={A → B, BC → D} tập các phụ thuộc hàm. Hãy xác
định các phụ thuộc sau không được suy dẫn logic từ F :
a) C → D c) A → D e) AD → C
b) BC → A d) B → CD
9. Cho F = {AB → E, AG → I, BE → I, E → G, GI → H }. Chứng minh rằng
AB → GH ∈ F + .
10. Cho F = {AB → C, B → D, CD → E, CE → GH, G → A}. Chứng minh rằng
AB → E ∈ F + và AB → G ∈ F + .
11. Cho 2 tập các thuộc tính Ω1 và Ω2 , X = Ω1 ∩ Ω2 . Chứng minh rằng nếu quan hệ
R trên tập các thuộc tính Ω1 Ω2 thoả X → Ω2 thì
R = R R [Ω2
12. Cho Ω = {TC#, TTC, MC#, DAI, NG, GT, SL, DV} tập các thuộc tính quản lý
mạng cáp:
TC # Mã tuyến cáp, MC# Mã cáp
TTC Tên tuyến cáp, DAI Độ dài tuyến cáp
NG Ngày lắp đặt cáp DV Đơn vị lắp đặt
GT Giá trị cáp SL Số lượng cáp
Hãy xác định tập các phụ thuộc F + .
13. Cho Ω = {A, B, C, D, E, G} và F = {AB → C , D → EG, C → A , BE → C,
BC → D , CG → BD, ACD → B, CE → AG}.
Tính X + với X = {AB}, {BC}, CD}, {ACD}, {DEG}.
14. Cho F = {AB → C, B → D, CD → E, CE → GH, G → A}. Tính bao đóng của X
với X = {AB} và chứng minh rằng AB → E ∈ F + .
15. Cho Ω ={A, B, C, D, E, G, H} và F = {AB → C, B → D, CD → E, CE →H, G →
A}. Hãy xác định các thuộc tính X sao cho {X} + = Ω.
16. Cho Ω = {A, B, C, D, E, G} và F = {AB → C , D → EG, C → A , BE → C,
BC → D , CG → BD, ACD → B, CE → AG}. Hãy xác định các thuộc tính X
sao cho {X} + = Ω.
17. Cho F = {AB → C, B → D, CD → E, CE →H, G → A}. Hãy xác định các thuộc
tính X sao cho {X} + = X ⊂ Ω .
18. Cho F = {AB → E, AG → I, BE → I, E → G, GI → H }. Hãy xác định các
thuộc tính X sao cho {X} + = X ⊂ Ω .
19. Cho tập phụ thuộc hàm F = { X → YW, XW → Z, Z →Y, XY → Z}.
XY → Z là phụ thuộc dư thừa của F ?
73