Bài giảng hệ cơ sở dữ liệu chương 5 1 ts lê thị tú kiên

CHƢƠNG 5 Thiết kế CSDL quan hệ mức khái niệm Tiến sĩ Lê Thị Tú Kiên Giới thiệu  Các bước thiết kế CSDL  Tập hợp các yêu cầu và phân tích  Thiết kế khái niệm  Thiết kế logic  Thiết kế vật lí 2 3 N[.]

CHƢƠNG Thiết kế CSDL quan hệ mức khái niệm Tiến sĩ: Lê Thị Tú Kiên Giới thiệu  Các bước thiết kế CSDL  Tập hợp yêu cầu phân tích  Thiết kế khái niệm  Thiết kế logic  Thiết kế vật lí Nội dung Dư thừa dị thường liệu  Phụ thuộc hàm  Hệ tiên đề Armstrong  Bao đóng tập thuộc tính  Phủ tập PTH  Xác định khóa lược đồ quan hệ  Chuẩn hóa lược đồ quan hệ  Các phép tách lược đồ quan hệ  Chuyển đổi mơ hình thực thể liên kết sang mơ hình quan hệ  Dƣ thừa dị thƣờng liệu Dƣ thừa liệu  NHAN_VIEN_PHONG(MSNV,HO_TEN,NG_SINH, GIOI_TINH,LUONG,MA_DV,TEN_PHONG,MA_TP) Dị thƣờng liệu  Dị thường thêm Dị thƣờng liệu  Dị thường xóa Dị thƣờng liệu  Dị thường sửa Cách giải dị thƣờng liệu 10  Tách lược đồ NHAN_VIEN_PHONG thành hai lược đồ: NHAN_VIEN(MSNV,HO_TEN,NG_SINH,GIOI_TINH,LUONG,MA_DV) PHONG(MA_DV,TEN_PHONG,MA_TP) Cách giải dị thƣờng liệu 11 12 Phụ thuộc hàm Định nghĩa phụ thuộc hàm 13  U: tập thuộc tính  R(U): lược đồ quan hệ xác định U A  X, Y  U a1 b1 c1 d1  Y phụ thuộc hàm vào X R(U) nếu: a1 b1 c1 d2 r  R(U), t1, t2 r a1 b2 c2 d1 t1[X]=t2[X]  t1[Y]=t2[Y] a2 b1 c1 d3  Ký hiệu XY B C D ABC PTH Phụ thuộc hàm suy diễn 14   F: tập phụ thuộc hàm R(U) XY suy diễn logic từ F rR(U), r thỏa F kéo theo r thỏa XY  Kí hiệu: F ╞ (XY)  Ví dụ: F={AB, BC} F ╞ (AC) Bao đóng tập phụ thuộc hàm 15 F+={(XY) | F ╞ (XY)} Nếu F+=F, F gọi họ phụ thuộc hàm đầy đủ Ví dụ: Cho F={ACB, DE}, F=F+ nên F tập PTH đầy đủ 16 Hệ tiên đề Armstrong Hệ tiên đề Armstrong 17  Cho U, R(U), F, X, Y, Z  U Kí hiệu XY=XY A1 Phản xạ (Reflexivity): Nếu Y X F ╞ (XY ) A2 Tăng trưởng (Augmentation) Nếu F ╞ (XY ) Z U, F╞ (XZYZ) A3 Bắc cầu (Transitivity) Nếu F ╞ (XY ) F ╞ (YZ ) F ╞ (XZ) Ví dụ 18 A1 Phản xạ Nếu Y X F ╞ (XY ) A2 Tăng trưởng Nếu F ╞ (XY ) Z U, F╞ (XZYZ) A3 Bắc cầu Nếu F ╞ (XY ) F ╞ (YZ ) F ╞ (XZ)  Cho F={ABC, CA} Chứng minh: F ╞ (BCABC)  Giải: CA nên theo tiên đề tăng trưởng ta có: BCAB (1)  Do ABC nên theo tiên đề tăng trưởng ta có: ABABC (2)  Từ (1) (2), áp dụng tiên đề bắc cầu ta được: BCABC Suy đpcm  Do Hệ tiên đề Armstrong mở rộng 19  A4 Quy tắc hợp (Union) {XY, XZ}╞ (XYZ)  A5 Quy tắc giả bắc cầu (Pseudotransivity) {XY, WYZ}╞ (WXZ)  A6 Quy tắc tách (Decomposition) Nếu XY Z Y XZ Ví dụ 20  Cho F={ABC, BD, CDE, CEGH, GA} Chứng minh F╞ (ABEG) ... dị thƣờng liệu 11 12 Phụ thuộc hàm Định nghĩa phụ thuộc hàm 13  U: tập thuộc tính  R(U): lược đồ quan hệ xác định U A  X, Y  U a1 b1 c1 d1  Y phụ thuộc hàm vào X R(U) nếu: a1 b1 c1 d2 r ... vào X R(U) nếu: a1 b1 c1 d2 r  R(U), t1, t2 r a1 b2 c2 d1 t1[X]=t2[X]  t1[Y]=t2[Y] a2 b1 c1 d3  Ký hiệu XY B C D ABC PTH Phụ thuộc hàm suy diễn 14   F: tập phụ thuộc hàm R(U) XY suy... phụ thuộc hàm 15 F+={(XY) | F ╞ (XY)} Nếu F+=F, F gọi họ phụ thuộc hàm đầy đủ Ví dụ: Cho F={ACB, DE}, F=F+ nên F tập PTH đầy đủ 16 Hệ tiên đề Armstrong Hệ tiên đề Armstrong 17  Cho U, R(U),