标签： relational-database database-normalization functional-dependencies bcnf
我如何证明如果关系模式R相对于一组FD和MVD处于4NF，那么R相对于F所隐含的FD处于BCNF？