让我们称身份集为关系中的此类属性子集,它们表示该关系中行的身份,同时,当从该身份集中排除任何属性时,生成的属性集将不是身份集,即在我们的主题领域中,不能同时存在两行具有属于特定身份集的所有属性的匹配值,但是如果它们具有至少一个属性的不同值,则它们可以存在。
例如,假设与属性 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),因此它们是互斥的,并且这种关系在我们的主题区域中是不允许的。
是否存在一些形式化的技术来查找任意关系中的所有“身份集”?