Bao đóng tập các phụ thuộc hàm gồm các phụ thuộc ________.

Bắc cầu được suy dẫn logic

Được suy dẫn bằng định nghĩa

Được suy dẫn bằng cách áp dụng liên tiếp các hệ tiên đề Armstrong

Đầy đủ được suy dẫn logic