NV01 Nguyễn Ngọc Anh Nữ Hà Nội 50 NV02 Lê Hoàng Hải Nam Long An 70 NV03 Trần Mạnh Linh Nam Trà Vinh 70 NV04 Nguyễn Ngọc Huệ Nữ Lâm Đồng 50 NV05 Nguyễn Đỗ Quyên Nữ Long An 50.. Xét lược đ[r]
(1)I. PHỤ THUỘC HÀM
1. Khái niệm
Cho lược đồ quan hệ Q với tâp thuộc tính Q+=(A1, A2,…,
An ), X Y tập thuộc tính Q+ (X, Y U)
Y gọi phụ thuộc hàm vào X X xác định hàm Y
nếu:
t1.X = t2.X t1.Y = t2.Y Ký hiệu: X Y
CHƯƠNG 5:
PHỤ THUỘC HÀM
(2)MSNV HOTEN GIOITINH NOISINH ĐINHMUCSP
NV01 Nguyễn Ngọc Anh Nữ Hà Nội 50 NV02 Lê Hoàng Hải Nam Long An 70 NV03 Trần Mạnh Linh Nam Trà Vinh 70 NV04 Nguyễn Ngọc Huệ Nữ Lâm Đồng 50 NV05 Nguyễn Đỗ Quyên Nữ Long An 50
Xét lược đồ quan hệ
NHAN_VIEN (MSNV, HOTEN, GIOITINH, NƠISINH, ĐIACHI, ĐINHMUCLĐ)
(3)II. BIỂU DIỄN PHỤ THUỘC HÀM BẰNG ÁNH XẠ
Cho tập hợp A tập thuộc tính nguồn, tập hợp B tập các thuộc tính đích f gọi ánh xạ (phụ thuộc hàm)
từ tập A -> B với tập thuộc tính X A xác định tập
thuộc tính Y B thông qua phép biến đổi f Ký hiệu f:A
(4)III. HỆ LUẬN DẪN ARMSTRONG
1. Luật phản hồi:
Y X, X Y.
2. Luật cộng
Nếu X Y thì XZ YZ.
3. Luật bắc cầu
(5)4. HỆ QUẢ
Từ luật dẫn ta suy dẫn số luật dẫn khác Sau là luật dẫn khác thường hay cần đến.
Luật bắc cầu giả:
Nếu X Y YW Z thì XW Z
Luật hội:
Nếu X Y X Z thì X YZ
Luật phân rã :
Nếu X YZ
(6)Ví dụ 2:
C=Q(ABCDEGHI),
F =f1: AC B; f2: BI ACD; f3: ABC D; f4:HI
(7)