database-normalization - 确定关系是否在 BCNF 中

Question

我在 Wikipedia 上查看 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 中。