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