bcnf(函数依赖)