BCNF aims to eliminate anomalies arising from functional dependencies by ensuring that all determinants are superkeys.