sql - BCNF 条件不明

Question

以下を読みました。R は関係スキーマ、X は属性のセット、A は R の属性です。F を FD のセットとします。R が BCNF にあるためには、F のすべての X-> A について、次が成り立たなければなりません。

1) A is a subset of X
2) X is a superkey

2) で、なぜ X はスーパーキーでなければならないのですか? BCNFの場合、重要な依存関係ごとに、キーが何らかの属性を決定することを理解しているため、条件がXである必要はありません。

2) を X が候補キーであると置き換えると、何が問題になりますか?

Answer 1

ここに簡単な例があります: 関係 R(X, A, B), X 候補キーを仮定します。FD X->A がある場合、自明に FD (X, B) -> A もありますが、(X, B) は候補キーではなく (最小ではありません)、スーパーキーです。