Table must be free of multi-valued dependencies

Non-prime attribute is fully functionally dependent on the primary key

Table must have only one candidate key

Determinant must be a candidate key