책 본문에 보시면 only nontrivial functional dependencies hold(오직 자명하지 않은 함수 종속만이 보존된다.)이기 때문에 BCNF라고 되어있는데 맞는 설명인가요??


제가 알기로는(이 책의 전 부분 BCNF 설명하는데도 나오는데요) F+,a,b가 R에 속할 때(a,b는 R의 속성 중의 하나) a -> b 를 보존하면 R은 F와 연관된 BCNF에 있다고 한다. 즉


임의의 a,b에 대해 성립한다는 것은 R 자체가 자명한 함수 종속이 성립한다는 말이잖아요.


즞 자명한 함수 종속이 성립하면 BCNF이다 이렇게 이해했는데 제가 틀린건지요???