让我们称身份集为关系中的此类属性子集，它们表示该关系中行的身份，同时，当从该身份集中排除任何属性时，生成的属性集将不是身份集，即在我们的主题领域中，不能同时存在两行具有属于特定身份集的所有属性的匹配值，但是如果它们具有至少一个属性的不同值，则它们可以存在。
例如，假设与属性 A、B、C、D 和身份集 {A，B} 的关系
A B C D
--------------------------
1 2 3 4
1 3 2 4
2 2 4 6
1 3 4 6
在这种关系中，第二行和第四行在身份集 {A,B} 中具有相同的值 (1,3)，因此它们是互斥的，并且这种关系在我们的主题区域中是不允许的。
是否存在一些形式化的技术来查找任意关系中的所有“身份集”？