関数従属性の既約の集合
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/06/10 17:48 UTC 版)
「関数従属性」の記事における「関数従属性の既約の集合」の解説
関数従属性の集合 S は、次の3つの特性をもつとき既約である。 S の関数従属性の各々の右側(従属項)の集合はただ一つの属性をもつ。 S の関数従属性の各々の左側(決定項)の集合は既約である。これは左側の属性集合からどの属性を除いても S の内容が変わることを意味する(Sはなんらかの情報を失うことを意味する)。 S のどの関数従属性を除いても S の内容が変わる(Sはなんらかの情報を失う)。
※この「関数従属性の既約の集合」の解説は、「関数従属性」の解説の一部です。
「関数従属性の既約の集合」を含む「関数従属性」の記事については、「関数従属性」の概要を参照ください。
- 関数従属性の既約の集合のページへのリンク