超级键的最小性是否保证它是候选键?

Does minimality of superkey guarantee it to be the candidate key?

Determine the candidate keys and superkeys of the relation R(ABCDEF) with FD's: AEF → C, BF → C, EF → D, and ACDE → F

这是我书中的一个问题。该书声称候选键是 ABCDE 和 ABEF。据我了解,候选键是最小的超级键,ABEF 上的闭包测试完美地捕获了关系 R。由于 ABEF 比 ABCDE 多 "minimal",我认为唯一的候选键实际上只是 ABEF。我承认 ABCDE 是超级密钥,但不是候选密钥。有人可以解释为什么我在这里错了吗?还是书有误?

“最小超级键”不是是指具有所有其他(超级)键的最少属性的超级键,而是一个(超级)键,这样,删除任何属性,失去了作为键的 属性,即确定关系的所有属性。例如,在您的情况下,

ABCDE+ = {ABCDEF}

but:

ABCD+ = ABCD
ABCE+ = ABCE
ABDE+ = ABDE
ACDE+ = ACDEF
BCDE+ = BCDE

所以 ABCDE 没有合适的子集决定所有属性,因此它是一个 minimal 超级键,即候选键。