Transitive dependency とは

データベース管理システムでは、推移的依存関係は、推移性によって保持される機能的依存関係です。推移的な依存関係は、3つ以上の属性を持つリレーションでのみ発生します。 A、B、およびCは、関係の3つの異なる属性(または属性の別個の集合)を指定します。次の3つの条件のすべてが成り立つとします。
 A→B B→A B→Cの場合ではない
次に、関数従属性A→C(推移の公理によって1と3に従う)は推移的依存性である。
データベースの正規化では、第3正規形の重要な特徴の1つは、特定のタイプの推移的依存関係を除外していることです。関係モデルの発明者であるE.F.Coddは1971年に推移的依存と第3正規形の概念を導入した。