部分関数従属 【partial functional dependency】
表の中で、ある属性の値を決定すると別の属性の値も一意に決まる性質を「関数従属性」という。属性Xを決めると属性Yが定まるとき、「X→Y」のように表記し、Xを「決定項」、Yを「従属項」あるいは「被決定項」という。
複数の候補キーの組み合わせて複合主キーを構成しているような表で、ある属性が候補キーのいずれか一つに対して従属している状態を、部分関数従属であるという。一方、候補キーの組み合わせにのみ従属している(候補キーすべての値が決まらないと値が定まらない)状態は「完全関数従属」という。
例えば、「注文番号, 商品ID, 商品名, 数量」のように候補キー2つ(注文番号・商品ID)で複合主キーを構成するような表で、「商品名」は候補キー2つの組み合わせにも従属しているが、商品IDのみから一意に求めることができる。このような場合を部分関数従属という。一方、「数量」は注文番号と商品IDの両方が決まらないと分からないため、完全関数従属となる。
(2023.6.6更新)