tailieunhanh - CHƯƠNG V: LÝ THUYẾT THIẾT KẾ CƠ SỞ DỮ LIỆU

Hợp lý, nghĩa là phải đủ, không dư thừa. 2. Tiện lợi khi truy nhập, nghĩa là thao tác tìm kiếm, cập nhật, bổ sung và loại bỏ các thông tin phải diễn ra một cách nhanh chóng, thuận tiện. Nội dung của chương này là giới thiệu một số công cụ thường dùng trong quá trình xây dựng CSDL. | CHƯƠNG V LÝ THUYẾT THIẾT KẾ CƠ SỞ DỮ LIỆU Cơ sở dữ liệu CSDL là nơi lưu trữ lâu dài các dữ liệu của hệ thống ở bộ nhớ ngoài. CSDL này phải được tổ chức tốt theo hai tiêu chí 1. Hợp lý nghĩa là phải đủ không dư thừa. 2. Tiện lợi khi truy nhập nghĩa là thao tác tìm kiếm cập nhật bổ sung và loại bỏ các thông tin phải diễn ra một cách nhanh chóng thuận tiện. Nội dung của chương này là giới thiệu một số công cụ thường dùng trong quá trình xây dựng CSDL. I. PHỤ THUỘC HÀM Khái niệm về phụ thuộc hàm trong một quân hệ là một khái niệm có tầm quan trọng hết sức lớn đối với việc thiết kế các mô hình dữ liệu. Để biết được phụ thuộc hàm là gì ta xét ví dụ sau Ví dụ SOXE LOAIXE XEMAY CHUSH---------------------- 92N95501 DREAMII NAM 92N95502 WAVE@ HOA 92N95504 DREAMII MY 92N95501 @ NAM p Bất hợp lý à đưa ra rang buộc nếu 2 bộ dữ liệu bằng nhau trên SOXE thì bằng nhau trên LOAIXE và bằng nhau CHUSH p Ràng buộc như vậy ta gọi là phụ thuộc hàm. Như vậy Phụ thuộc hàm là một loại ràng buộc dữ liệu nhằm đảm bảo các bộ dữ liệu nếu bằng nhau trên tập thuộc tính này thì bằng nhau trên tập thuộc tính khác. số định nghĩa Định nghĩa 1 Cho một quan hệ r định nghỉatên lược đồ quan hệ R. X Y G R ta nói phụ thuộc hàm X xác địnhu hàm Y hay Y thuộc hàm vào X ký hiệu X Y đúng trên r nếu ở trong r không tồn tại bất kỳ 2 bộ dữ liệu t1 t2 mà t1 X t2 X h y t2 Y Nhận xét Nếu phụ thuộc hàm X xác định hàm Y đúng trên r thì ta nói r thỏa X Y. Cho quan hệ r R F là một tập các phụ thuộc hàm được định nghĩa như sau F Ịx Y X Y R Ta nói r thỏa F hay đúng trên R nếu r thỏa tất cả các phụ thuộc hàm trong F. Cho lược đồ quan R F là một tập phụ thuộc hàm trên R. Một quan hệ tương ứng với R chỉ được gọi là thể hiện của R nếu quan hệ đó thỏa F. Định nghĩa Cho một quan hệ r định nghĩa trên lược đồ quan hệ R X Y Í R. Xét quan hệ r giả sử thỏa thuộc hàm X Y và nếu không tồn tại một tập con thật sự X của X sao cho r cũng thỏa phụ thuộc hàm X Y thì ta nói Y phụ thuộc hàm đầy đủ vào X trong r. Người ta dùng ký hiệu