Transitive FDs and 3NF Transitive FDs: A FD, A  C is a transitive FD, if there is some set B such that A  B and B  C are non-trivial FDs A  B non-trivial means: B is not a subset of A We have A  B  C Third normal form A relation is in third normal form (3NF) if it is in 2NF and no non-key attribute is transitively dependent on a candidate key
{}