Every non-key attribute must depend on the whole primary key.

No transitive dependencies are allowed.

All attribute values must be atomic (no repeating groups or multivalued attributes)

Every determinant must be a primary key.