各事実を決める属性をたどる

関数従属性X → Yは、このお店のルールのもとで1つのXがYを1つに決めることを表します。例えばcustomer_id → customer_nameは、1つのcustomer_idが1つのcustomer_nameを決めることを意味します。候補キーはすべての属性を決め、不要な属性を含みません。複合キーの一部への依存を部分関数従属、別の非キー属性を経由する依存を推移的関数従属と呼びます。