完全関数従属

ある属性が主キー全体に対して関数的に従属している状態。複合キーの場合、キーの一部分だけでは決まらず、キー全体が揃って初めて値が一意に定まる関係を指す。

属性の組Xが決まれば属性Yが一意に決まり（X→Y）、かつXのどの真部分集合からもYが決まらない関数従属。例えば、{受注番号, 商品番号}→数量で、受注番号や商品番号の片方だけでは数量が決まらない場合が当たる。第2正規形は、非キー属性がすべての候補キーに完全関数従属している状態である。

リレーションにおいて、属性Xの値が決まれば属性Yの値が一意に定まる関係（X→Y）。正規化理論の基礎概念であり、キーの決定やリレーション分解の根拠となる。

複合キーの一部の属性だけで他の属性が一意に決定される関数従属。更新異状の原因となるため、第2正規形への正規化で除去する。

X→YかつY→Zが成り立つとき、XからZへの従属関係。キー以外の属性間に推移的従属が存在すると更新異状の原因となるため、第3正規形への正規化で除去する。

リレーションにおいて、属性Xの値が決まるとYの値の集合が一意に定まる従属関係（X→→Y）。関数従属性の一般化であり、第4正規形の判定基準となる。

リレーションRを複数のリレーションに分解し、それらを自然結合すると元のRが復元できるとき、Rは結合従属性を持つ。第5正規形の判定基準となる。

データベースの全データを丸ごとコピーするバックアップ方式。復元が単純で確実だが、データ量が大きいと取得時間とストレージ消費が増大する。差分・増分バックアップの基準点となる。