Tìm tất cả khoá của một lược đồ quan hệ

Cho tập thuộc tính U và phụ thuộc hàm R
1. Tìm tập thuộc tính bên trái (L) và tập thuộc tính bên phải (R)
2. Tìm tập thuộc tính trung gian TG = L ^ R (giao)
3. Tìm tập đích TD = U - R
4. Hợp tập đích TD với từng phần tử của tập trung gian TG
5. Tính bao đóng ở bước 4, nếu bao đóng = U => thuộc tính khoá và ngược lại.