Cơ sở dữ liệu 1
Bài tập Chương 4
Giảng viên: Nguyễn Công Thương
2
BT1

Chứng minh các luật suy diễn sau:
a. {W  Y, X  Z} |= {WX  Y}.
b. {X  Y} and Y ⊇ Z |= {X  Z}.
c. {X  Y, X  W, WY  Z} |= {X  Z}.
d. {X  Y, XY  Z} |= {X  Z}.
e. {X  Y, Z  W} |= {XZ  YW}.
f. {X  Y, Y  Z} |= {X  YZ}.
3
BT2

Cho lược đồ quan hệ R(A, B, C, D, E, F, G,
H, I, J) với tập phụ thuộc hàm:
F = {{A, B}  {C}, {A}  {D, E},
{B}  {F}, {F}  {G, H},
{D}  {I, J}}

Tìm khóa của quan hệ R
4
BT3

Cho lược đồ quan hệ R(A, B, C, D, E, F, G,
H, I, J) với tập phụ thuộc hàm:
F = {{A, B}  {C}, {A}  {E}, {E}  {B},
{F}  {G, H}, {D}  {I, J}}
