A relation is in third normal form if it is in Second Normal Form and there are no
functional (transitive) dependencies between two (or more) non-primary key
attributes.
