exists when there are functional dependencies such that X → Y, Y → Z, and X is the primary key.
TRANSITIVE DEPENDENCY