database - スーパーキーの最小性は、それが候補キーであることを保証しますか?

Question

FD との関係 R(ABCDEF) の候補キーとスーパーキーを決定します: AEF → C、BF → C、EF → D、および ACDE → F

これは私の本の問題です。この本では、候補キーは ABCDE と ABEF であると主張しています。私が理解していることから、候補キーは最小限のスーパーキーであり、ABEF のクロージャ テストは関係 R を完全にキャプチャします。ABEF は ABCDE よりも「最小限」であるため、唯一の候補キーは実際には ABEF のみであると主張します。ABCDE がスーパーキーであることは認めますが、候補キーではありません。ここで私が間違っている理由を誰かが説明できますか? それとも、本が間違っている可能性はありますか？

Answer 1

「最小限のスーパーキー」とは、他のすべての (スーパー) キーの中で最小数の属性を持つスーパーキーを意味するのではなく、属性を削除すると、キーであるという特性を失うような (スーパー) キー、つまり、関係のすべての属性を決定します。たとえば、あなたの場合、

ABCDE+ = {ABCDEF}

but:

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

したがって、すべての属性を決定する の適切なサブセットはありませんABCDE。このため、これは最小限のスーパーキーであり、候補キーです。