填空题 如果模式只是BCNF，则R必是( )：反之，则( )成立。