Is an anomaly free relation necessarily normalized? A normalized relation can still suffer anomalies. Going the other way, which (if any) normal forms can be violated by a relation that's free from anomalies? If such exist,


For each such normal form that can be violated, what is an example of an anomaly free relation that violates the normal form?
Are there any normal forms that an anomaly free relation is guaranteed to comply with?
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).