関数従属性
意味
ある
属性
が決まったら、別の属性の値も一意に決定できること