BCNF + 3NF ok?