database-normalization - 関係がBCNFにあるかどうかを判断します

Question

ウィキペディアでBCNFの定義を確認します

A relational schema R is in Boyce–Codd normal form if and only if for every one of its dependencies X → Y,
at least one of the following conditions hold:[4] 
X → Y is a trivial functional dependency (Y ⊆ X)
X is a superkey for schema R

ここで、R = {P、Q、S}およびF = {PQ-> S、PS-> Q、QS->P}の場合

BCNFにはないと思いますよね？私が間違っている場合、その理由を教えていただけますか？それ以外の場合、どのFDがBCNFに違反しているかを尋ねられた場合、FDの行列式がスーパーキーになる可能性があるため、何を与える必要がありますか？

Answer 1

非公式には、すべてのFDのすべての矢印が候補キーからの矢印である場合、関係はBCNFにあります。この場合、候補キーはPQ、PS、およびQSであるため、すべての矢印は候補キーから出た矢印です。BCNFにあると思います。