Una "dependencia transitiva" es una dependencia funcional "X" → "Z" en la cual "Z" no es inmediatamente dependiente de "X", pero sí de un tercer conjunto de atributos "Y", que a su vez depende de "X".