TAILIEUCHUNG - Thiết kế cơ sở dữ liệu quan hệ - Phần 4: Phụ Thuộc Hàm
Cơ sở dữ liệu bán cấu trúc: dữ liệu được lưu dưới dạng XML, với định dạng này thông tin mô tả về đối tượng thể hiện trong các tag. Đây là cơ sở dữ liệu có nhiều ưu điểm do lưu trữ được hầu hết các loại dữ liệu khác nhau nên cơ sở dữ liệu bán cấu trúc là hướng mới trong nghiên cứu và ứng dụng. | THIẾT KẾ CƠ SỞ DỮ LIỆU QUAN HỆ (Relational Database Designing) Phần IV – PHỤ THUỘC HÀM (Functional Dependency) Phụ thuộc hàm – Khái niệm Phụ thuộc hàm là công cụ để biểu diễn hình thức các RBTV phụ thuộc. Các lý thuyết về Phụ thuộc hàm ứng dụng nhiều trong bài toán Chuẩn Hóa CSDL. Ký hiệu : X Y : Y phụ thuộc hàm vào X hay X xác định Y. với X, Y là các tập thuộc tính (trong 1 lược đồ quan hệ). Khái niệm về Phụ thuộc hàm Phụ thuộc hàm – Định nghĩa Cho Q(A1,A2, ,An); X, Y là 2 tập con của Q+; q là 1 quan hệ trên Q; t1, t2 là 2 bộ bất kỳ của q. Ta có X xác định Y , ký hiệu X Y , nghĩa là ( => ) Nếu 2 bộ bất kỳ trong q giống nhau trên X thì phải giống nhau trên Y. X Y là PTH của Q, khi X Y đúng với mọi q là quan hệ trên Q Hệ quả : Q, X Q+ , X Định nghĩa về Phụ thuộc hàm Phụ thuộc hàm hiển nhiên (Trivial Dependencies) Nếu X Y thì X Y luôn đúng Trong trường hợp này (X Y), X Y được gọi là Phụ thuộc hàm hiển nhiên. Ví dụ : X X Khi chuẩn hóa CSDL, ta thường không quan tâm đến các PTH hiển nhiên. Phụ thuộc hàm hiển nhiên Thuật toán kiểm tra PTH : Satifies Input : _ Quan hệ q, _ Tập thuộc tính X, Y Output : _ True nếu X Y, ngược lại, False Thuật toán kiểm tra Phụ thuộc hàm () Thuật toán kiểm tra PTH () Bước 1 : Sắp lại các bộ trong q sao cho các bộ giống nhau trên X nằm kề nhau. Bước 2 : Kiểm tra nếu tất cả các bộ giống nhau trên X cũng giống nhau trên Y thì trả về True, ngược lại, trả về False. Thuật toán kiểm tra Phụ thuộc hàm () Hệ luật dẫn Amstrong(Amstrong inference rule) - Một số định nghĩa Ký hiệu F là tập các phụ thuộc hàm của lược đồ quan hệ Q, F = {f1,f2, ,fn}, quy ước ta không quan tâm đến các phụ thuộc hàm hiển nhiên. Định nghĩa : Phụ thuộc hàm được suy diễn logic từ F. Phụ thuộc hàm d = X Y được suy diễn logic từ F nếu với mọi q trên Q thỏa F thì cũng thỏa d, ký hiệu F
đang nạp các trang xem trước
