BCNF - NF