Wenn ein Attribut C von einem Nichtschlüsselattribut B abhängig ist (B -> C) und B von einem Attribut A abhängig ist (A -> B), dann ist C transitiv abhängig von A (A -> B -> C).
Preiß, Nikolai: Entwurf und Verarbeitung relationaler Datenbanken, 195 Seiten, 2007
[Dieser Titel bei Oldenbourg]