Database CHƯƠNG 4 PHỤ THUỘC HÀM 1 MỤC ĐÍCH CỦA SỰ CHUẨN HÓA VÀ PHỤ THUỘC HÀM Chuẩn hóa là một kỹ thuật tạo ra một tập các quan hệ với các thuộc tính từ các yêu cầu cho trước về dữ liệu cần mô hình h[.]
CHƯƠNG PHỤ THUỘC HÀM MỤC ĐÍCH CỦA SỰ CHUẨN HĨA VÀ PHỤ THUỘC HÀM Chuẩn hóa kỹ thuật tạo tập quan hệ với thuộc tính từ yêu cầu cho trước liệu cần mơ hình hóa tổ chức Q trình chuẩn hóa phát triển Codd vào năm 1972 Việc chuẩn hóa thường thực chuỗi kiểm tra quan hệ để xác định xem có thỏa mãn hay vi phạm yêu cầu dạng chuẩn cho trước hay khơng MỤC ĐÍCH CỦA SỰ CHUẨN HÓA VÀ PHỤ THUỘC HÀM (Cont.) Codd định nghĩa dạng chuẩn: dạng chuẩn (1NF), dạng chuẩn (2NF), dạng chuẩn (3NF) Năm 1974, Boyce Codd giới thiệu dạng chuẩn mạnh 3NF gọi chuẩn Boyce-Codd (BCNF) Cả dạng chuẩn dựa phụ thuộc hàm thuộc tính quan hệ Một phụ thuộc hàm mô tả mối quan hệ thuộc tính quan hệ Ví dụ: A, B thuộc tính tập thuộc tính quan hệ R B phụ thuộc hàm vào A (ký hiệu: A->B) giá trị A liên hệ tới giá trị B MỤC ĐÍCH CỦA SỰ CHUẨN HĨA VÀ PHỤ THUỘC HÀM (Cont.) Năm 1977, 1979 năm tiếp theo, người ta giới thiệu dạng chuẩn (4NF), dạng chuẩn (5NF) dạng chuẩn mức cao => Tuy nhiên, gặp Quá trình chuẩn hóa phương pháp thống để xác định quan hệ dựa khóa chính, khóa dự bị phụ thuộc hàm thuộc tính Chuẩn hóa giúp người thiết kế kiểm tra chuyển quan hệ dạng chuẩn hóa cụ thể nhằm ngăn chặn dị thường thực thao tác cập nhật thông tin MỤC ĐÍCH CỦA SỰ CHUẨN HĨA VÀ PHỤ THUỘC HÀM (Cont.) Mục đích việc thiết kế CSDL quan hệ: nhóm thuộc tính vào thành quan hệ cho tối thiểu hóa dư thừa liệu => giảm không gian lưu trữ tránh dị thường thơng tin cập nhật liệu Xét ví dụ lược đồ quan hệ staffbranch staffbranch staff# sname position salary branch# baddress SL21 Kristy manager 30000 B005 22 Deer Road SG37 Debi assistant 12000 B003 163 Main Street SG14 Alan supervisor 18000 B003 163 Main Street SA9 Traci assistant 12000 B007 375 Fox Avenue SG5 David manager 24000 B003 163 Main Street SL41 Anna assistant 10000 B005 22 Deer Road MỤC ĐÍCH CỦA SỰ CHUẨN HĨA VÀ PHỤ THUỘC HÀM (Cont.) Quan hệ staffbranch có dư thừa liệu Thông tin chi tiết chi nhánh ngân hàng (branch) bị lặp lại cho nhân viên (staff) làm việc chi nhánh Nếu tách riêng quan hệ staff branch thơng tin chi nhánh ngân hàng xuất lần staff branch staff# sname position salary branch# branch# baddress SL21 Kristy manager 30000 B005 B005 22 Deer Road SG37 Debi assistant 12000 B003 B003 163 Main Street SG14 Alan supervisor 18000 B003 B007 375 Fox Avenue SA9 Traci assistant 12000 B007 SG5 David manager 24000 B003 SL41 Anna assistant 10000 B005 DƯ THỪA DỮ LIỆU VÀ DỊ THƯỜNG THÔNG TIN KHI CẬP NHẬT Khi thực chèn thêm liệu: Để chèn thêm thông tin chi tiết cho nhân viên vào staffbranch, cần phải thêm thông tin chi tiết chi nhánh tương ứng cho ghi nhân viên Ví dụ: Nếu thêm nhân viên vào branch B007, phải thêm địa B007 Còn lược đồ (staff, branch) cần thêm thơng tin vào quan hệ staff đủ Để chèn thêm thông tin cho branch mà chưa có nhân viên nào, cần chèn thêm giá trị Null cho thuộc tính nhân viên, staff#, sname, … Tuy nhiên, thuộc tính staff# khóa nên điều khơng thể (vi phạm tính tồn vẹn khóa) Vậy, khơng thể nhập thơng tin cho chi nhánh mà khơng có nhân viên DƯ THỪA DỮ LIỆU VÀ DỊ THƯỜNG THÔNG TIN KHI CẬP NHẬT (Cont.) Khi thực xóa liệu: Giả sử staffbranch có chi nhánh cịn nhân viên cuối Nếu xóa thơng tin nhân viên thơng tin chi nhánh bị xóa khỏi CSDL Ví dụ: Nếu xóa thơng tin nhân viên Traci khỏi quan hệ staffbranch thơng tin chi nhánh B007 bị xóa Điều khơng xảy lược đồ (staff, branch) thơng tin nhân viên lưu trữ tách riêng khỏi thông tin chi nhánh DƯ THỪA DỮ LIỆU VÀ DỊ THƯỜNG THÔNG TIN KHI CẬP NHẬT (Cont.) Khi thực cập nhật liệu: Giả sử muốn thay đổi giá trị thuộc tính chi nhánh quan hệ staffbranch, ví dụ: địa chi nhánh, cần phải cập nhật tất nhân viên làm việc chi nhánh Nếu việc cập nhật thay đổi địa chi nhánh không thực tất liên quan quan hệ staffbranch CSDL khơng qn (một chi nhánh có địa khác nhau) Như vậy: quan hệ staffbranch, thực thao tác cập nhật liệu xuất dị thường thơng tin Việc tránh cách tách lược đồ staffbranch thành quan hệ staff branch DƯ THỪA DỮ LIỆU VÀ DỊ THƯỜNG THÔNG TIN KHI CẬP NHẬT (Cont.) tính chất quan trọng tách lược đồ quan hệ thành tập lược đồ nhỏ hơn: Kết nối không tổn thất thông tin: đảm bảo thể quan hệ ban đầu xác định từ thể liên quan quan hệ nhỏ Bảo toàn phụ thuộc hàm: đảm bảo ràng buộc quan hệ ban đầu trì cách sử dụng đơn giản số ràng buộc quan hệ nhỏ => Các quan hệ nhỏ không cần kết nối với để kiểm tra xem ràng buộc quan hệ ban đầu có bị vi phạm hay khơng 10