このリレーションの行のアイデンティティを表す、リレーション内の属性のサブセットをアイデンティティセットと呼びましょう。同時に、このアイデンティティセットから属性のいずれかを除外すると、結果の属性セットはアイデンティティセットになりません。サブジェクトエリアに、特定のIDセットに属するすべての属性の値が一致する2つの行を同時に存在させることはできませんが、少なくとも1つの属性の値が異なる場合は存在する可能性があります。
たとえば、属性A、B、C、DおよびIDセット{A、B}との関係を想定します。
A B C D
--------------------------
1 2 3 4
1 3 2 4
2 2 4 6
1 3 4 6
この関係では、2行目と4行目はIDセット{A、B}で同じ値(1,3)を持っているため、相互に排他的であり、この関係はサブジェクト領域では許可されていません。
任意の関係にあるすべての「アイデンティティセット」を見つけるための形式化された手法はありますか?