It has no partial dependencies

There is no transitive dependency

All attributes are atomic (indivisible) and there are no repeating groups

Every non‑key attribute is fully functionally dependent on the key