決定的關係是否處於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。