8, Khái niệm bao đóng, thuật toán tìm bao đóng.

Cho X thuoc u ( x la tập con cảu u) khi đó bao đóng cảu X đối với tập phụ  thuộc hàm F được xác định trên tập thuộc tính U ký hiệu X+ là 1 tập hợp bao gồm 1 số hữu hạng các thuộc tính của tập thuộc tính với ĐK tập thuộc tính này phải được xđ hàm từ tập thuộc tính X và các phụ thuộc hàm trong tập fụ thuộc hàm f

-Thuật táon tìm bao đóng

B1 :Đặt Xo=X

B2 : nếu tồn tại fụ thuộc hàm Z->Y,Zthuộc Xo

Thì X1=Xo hợp [Y]

B3 :Tiếp tục thực hiện như bước 2

B4 :Cho đén khi thỏa mãn ĐK của  B2 thì dừng

 Vậy X+=Xn