- 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