决定一个关系是否在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