関数従属かんすうじゅうぞく

関数かんすう従属じゅうぞく（Functional Dependency）は、ある属性ぞくせい A の値あたいが決きまれば、別べつの属性ぞくせい B の値あたいが 1 つに定さだまる関係かんけいで、「A → B」と表あらわします。正規化せいきかを理解りかいする土台どだいとなる概念がいねんです。

種類しゅるい	内容ないよう	対象たいしょうの段階だんかい
関数かんすう従属じゅうぞく	A が決きまれば B が決きまる	基本きほん概念がいねん
部分関数従属ぶぶんかんすうじゅうぞく	複合ふくごう主ぬしキーの一部いちぶだけで決きまる	第 2 正規形だいにせいきけいで除去じょきょ
推移すいい関数かんすう従属じゅうぞく	A → B → C と連鎖れんさして決きまる	第 3 正規形だいさんせいきけいで除去じょきょ

たとえば「社員しゃいん番号ばんごう → 氏名しめい」は、社員しゃいん番号ばんごうが決きまれば氏名しめいが 1 つに決きまるので関数かんすう従属じゅうぞくです。正規せいき化かは、このうち望のぞましくない従属じゅうぞく（部分ぶぶん従属じゅうぞく・推移すいい従属じゅうぞく）を取とり除のぞいていく作業さぎょうだと言いえます。

試験しけんでは 「A が決きまれば B が一意いちいに決きまる」という定義ていぎと、部分ぶぶん・推移すいいという 2 種類しゅるいが正規せいき化かのターゲットである点てんが問とわれます。矢印やじるしの向むき（A→B）の意味いみを押おさえましょう。