Hãy chọn từ/cụm từ tương ứng để hoàn thiện khảng định sau: 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