Cách tìm bao đóng trong cơ sở dữ liệu

Ví dụ: Cho lược đồ quan hệ R(U, F)
Với U = ABCDE và F = { AB -->CD, E --> C, D -->CE, A -->E}. Tìm A+

- Đầu tiên gán A+=A
- Tiếp theo xét xem có PTH nào A->X không? nếu có bỏ X vào A+, ở đây ta có A->E nên A+=AE
- Ta thấy E->C nên A+=ACE
- Cuối cùng ta có A+=ACE