Trong Bài giảng Phân tích thiết kế hệ thống thông tin Chương 10 Phụ thuộc hàm và dạng chuẩn nhằm trình bày về phụ thuộc hàm và dạng chuẩn. Bài giảng được trình bày khoa học, súc tích giúp các bạn sinh viên tiếp thu bài học nhanh. | Phụ thuộc hàm & Dạng chuẩn ThS. Hoàng Mạnh Hà hoangha84@ Nội dung Phụ thuộc hàm Dạng chuẩn SGU - CNTT - Cơ sở dữ liệu 2 Phụ thuộc hàm SGU - CNTT - Cơ sở dữ liệu 3 Định nghĩa Là một khái niệm quan trọng trong lý thuyết thiết kế lược đồ quan hệ. Một phụ thuộc hàm là một ràng buộc giữa 2 tập thuộc tính. Giả sử có lược đồ quan hệ R(A1,A2, ,An) và X, Y là tập con của {A1,A2, ,An} Ta nói: Y phụ thuộc hàm vào X (hay X xác định Y), ký hiệu X Y nếu mỗi giá trị X trong R xác định duy nhất một giá trị Y trong R. SGU - CNTT - Cơ sở dữ liệu 4 Định nghĩa Nếu có X Y thì ta có: ∀r1, r2 ∈ R sao cho thì Xét lược đồ quan hệ: PHIM (TENPHIM, NAMSX, THOILUONG, LOAIPHIM, XUONGSX, DIENVIEN) SGU - CNTT - Cơ sở dữ liệu 5 Ví dụ TENPHIM LOAIPHIM TENPHIM THOILUONG TENPHIM XUONGSX SGU - CNTT - Cơ sở dữ liệu 6 TEN PHIM NAMSX THOI LUONG LOAI PHIM XUONG SX DIENVIEN Star Wars 1977 124 Color Fox Carrie Fisher Star Wars 1977 124 Color Fox Mark . | Phụ thuộc hàm & Dạng chuẩn ThS. Hoàng Mạnh Hà hoangha84@ Nội dung Phụ thuộc hàm Dạng chuẩn SGU - CNTT - Cơ sở dữ liệu 2 Phụ thuộc hàm SGU - CNTT - Cơ sở dữ liệu 3 Định nghĩa Là một khái niệm quan trọng trong lý thuyết thiết kế lược đồ quan hệ. Một phụ thuộc hàm là một ràng buộc giữa 2 tập thuộc tính. Giả sử có lược đồ quan hệ R(A1,A2, ,An) và X, Y là tập con của {A1,A2, ,An} Ta nói: Y phụ thuộc hàm vào X (hay X xác định Y), ký hiệu X Y nếu mỗi giá trị X trong R xác định duy nhất một giá trị Y trong R. SGU - CNTT - Cơ sở dữ liệu 4 Định nghĩa Nếu có X Y thì ta có: ∀r1, r2 ∈ R sao cho thì Xét lược đồ quan hệ: PHIM (TENPHIM, NAMSX, THOILUONG, LOAIPHIM, XUONGSX, DIENVIEN) SGU - CNTT - Cơ sở dữ liệu 5 Ví dụ TENPHIM LOAIPHIM TENPHIM THOILUONG TENPHIM XUONGSX SGU - CNTT - Cơ sở dữ liệu 6 TEN PHIM NAMSX THOI LUONG LOAI PHIM XUONG SX DIENVIEN Star Wars 1977 124 Color Fox Carrie Fisher Star Wars 1977 124 Color Fox Mark Hamill Star Wars 1977 124 Color Fox Harrison Ford Mighty Ducks 1991 104 Color Disney Emilio Esteves Wayne’s World 1992 95 Color Paramount Dana Carvey Wayne’s World 1992 95 Color Paramount Mike Meyers Hệ luật Armstrong Cho lược đồ R(R+), R+ là tập thuộc tính của R và X, Y, Z là tập thuộc tính của R+ Các tiên đề Armstrong gồm: Luật phản xạ: Luật cộng: Luật bắc cầu: SGU - CNTT - Cơ sở dữ liệu 7 Hệ luật Armstrong 3 luật suy dẫn được suy ra từ các luật Armstrong: Luật hợp: Luật bắc cầu giả: Luật phân rã: SGU - CNTT - Cơ sở dữ liệu 8 Hệ quả từ tập phụ thuộc hàm Cho F là tập các phụ thuộc hàm định nghĩa trên R. Nếu có một phụ thuộc hàm f cũng thỏa với mọi thể hiện của R thì ta gọi f là phụ thuộc hàm hệ quả của F. VD: R(A, B, C, G, H, I) và tập phụ thuộc hàm F định nghĩa trên R: F={f1: A→B; f2: A→C; f3: CG→H; f4: CG→I; f5: B→H} Ta có f6: A→H là phụ thuộc hàm hệ quả từ F SGU - CNTT - Cơ sở dữ liệu 9 Bao đóng của tập phụ thuộc hàm Cho F là một tập các phụ thuộc hàm được định nghĩa trên R. Tập hợp
