関数従属性
関数従属性の集合 S は、次の3つの特性をもつとき既約である。
S の関数従属性の各々の右側(従属項)の集合はただ一つの属性をもつ。
S の関数従属性の各々の左側(決定項)の集合は既約である。これは左側の属性集合からどの属性を除いても S の内容が変わることを意味する(Sはなんらかの情報を失うことを意味する)。
S のどの関数従属性を除いても S の内容が変わる(Sはなんらかの情報を失う)。