Định nghĩa bao đóng : Cho lược đồ quan hệ R=(U, F). Bao đóng của tập thuộc tính X (X Í 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.