推移的関数従属【transitive functional dependency】

概要

推移的関数従属（transitive functional dependency）とは、リレーショナルデータベース(RDB)の表で、複数の関数従属関係が推移的に成り立つ関係のこと。属性Xから属性Yが、Yから属性Zが一意に導かれるとき、ZはXに推移的関数従属しているという。

表の中で、ある属性の値を決定すると別の属性の値も一意に決まる性質を「関数従属性」という。属性Xを決めると属性Yが定まるとき、「X→Y」のように表記し、Xを「決定項」、Yを「従属項」あるいは「被決定項」という。

属性X、Y、Zがあり、Xが決まるとYも決まり、Yが決まるとZも決まるという関係、すなわち、X→Y、Y→Zが推移的に成り立つ（かつ、厳密にはY→Xが成り立たない）とき、ZはXに推移的関数従属しているという。

例えば、「社員ID, 氏名, 住所, 郵便番号」という表で、「社員ID→住所」が成り立つが、「住所」が決まれば「郵便番号」も一意に定まるため「住所→郵便番号」も成り立っている。このとき、「社員ID→郵便番号」という従属性も成立し、「郵便番号」は「社員ID」に推移的関数従属しているという。

(2023.6.6更新)

この記事の著者： (株)インセプト IT用語辞典 e-Words 編集部
1997年8月より「IT用語辞典 e-Words」を執筆・編集しています。累計公開記事数は1万ページ以上、累計サイト訪問者数は1億人以上です。学術論文や官公庁の資料などへも多数の記事が引用・参照されています。