多値従属性
次の特性は関数従属性を使っている。 → を関数従属性とする。
α {\displaystyle \alpha } → β {\displaystyle \beta } であるならば α {\displaystyle \alpha } β {\displaystyle \beta }
α {\displaystyle \alpha } β {\displaystyle \beta } かつ β {\displaystyle \beta } → γ {\displaystyle \gamma } であるならば、 α {\displaystyle \alpha } → γ − β {\displaystyle \gamma -\beta }
前述の規則は広く知られており、完全な規則である。
X Y が関係 R において成立する場合かつその場合に限り、R を (X, Y) と (X, R-Y) に無損失分解できる (情報の損失を伴うこと無く分解することが —— 正規化することができる)。