Bài tập lý thuyết cơ sở dữ liệu quan hệ

 Bao đóng của

tập thuộc tính X(Xc U), ký hiệu x+ là tập tất hợp cả các thuộc tính mà có

thể suy diễn logic từ x .

• Nhận xét: Bao đóng của tập thuộc tính X thực chất là tập tất cả các thuộc

tính mà ta có thể “với tới” (hay suy ra) nó từ tập thuộc tính X ban đầu.

• Việc tính toán bao đóng là cơ sở cho việc tìm khoá, tìm tập khoá, kiểm tra

một phụ thuộc hàm nào đó có tồn tại trong quan hệ hay không.