Third Normal Form is based on the concept of transitive dependency. A functional dependency X-> Y in a relational schema R is a transitive dependency if there is a set of attributes Z that is neither a candidate key nor a subset of any key of R, and both X->Z and Z->Y hold.