3NF (1st Definition)
X?Y is a transitive dependency if there is a set of attributes Z that is not a subset of any key of R, and both X?Z and Z?Y hold.
A relation schema R is in Third Normal Form (3NF) if it is in 2NF and no nonprime attribute of R is transitively dependent on the primary key.