책 본문에 only nontrivial functional dependencies hold이기 때문에 BCNF라고 나와있는데 틀린 말 아닌가요???