В русскоязычной и англоязычной статьях про третью нормальную форму отношения весьма странные формулировки транзитивной функциональной зависимости.
(Отношение находится в третьей нормальной форме, если находится во второй, и не существует транзитивной функциональной зависимости между потенциальным ключом и неключевым атрибутом)
Русскоязычная википедия: функциональная зависимость X → Z является транзитивной, если существует такое Y, что X → Y → Z, и ни одна из функциональных зависимостей X → Y, Y → Z, X → Z не является тривиальной. Можно выбрать в качестве X один потенциальный ключ, в качестве Y другой потенциальный ключ, который не содержится в X, а в качестве Z любой неключевой атрибут. Однако простейшие случаи таких отношений должны быть в 3НФ согласно альтернативному определению Карло Заниоло.
(Альтернативное определение Карло Заниоло заключается в том, что для любой функциональной зависимости вида X → {A} верно хотя бы одно из трех условий: X - суперключ, A лежит в X, A - ключевой атрибут.)
Англоязычная википедия: функциональная зависимость X → Z является транзитивной, если существует такое Y, что X → Y → Z, все X, Y, Z различны, и не выполняется Y → X. Ближе к правде, но все еще можно взять в качестве X потенциальный ключ, в качестве Y множество из двух неключевых атрибутов, а в качестве Z одноэлементное подмножество Y.
Не было бы разумным заменить условие неравенства X, Y, Z условием нетривиальности функциональной зависимости Y → Z? Тогда все будет в согласии с Карло Заниоло.