Is an anomaly free relation necessarily normalized?
A relvar that is considered free of all update anomalies will satisfy 6NF and by implication 5NF and BCNF (other normal forms defined many years ago are no longer deemed useful).