bcnf “ nna .!