System Architect does not enforce normalized data modeling; however, reports are provided to allow you to determine how well your models adhere to the normal form concepts.
A normalized data model represents the simplest data structure design, and is the most easily modified when inevitable change is needed.
The Normal Forms are:
1st NF
No repeating groups.
2nd NF
1NF + non-key attributes are dependent on the entire key of the entity.
3rd NF
2NF + non-key attributes are not dependent on anything other than the key of the entity.
Boyce-Codd NF
3NF + key attributes are not dependent on other attributes.
4th NF
BCNF + no multi-valued dependencies.
5th NF
4NF + no join dependencies.
Domain key NF
Every relation is a logical consequence of the foreign keys (key constraints) and the allowable range of values for the PK (domain constraints).
System Architect tests for First, Second, and Third Normal Forms; it also reports errors in Boyce-Codd Normal Form (BCNF). SA does not report on 4NF, 5NF, or Domain-Key normal form. Adequate testing for these conditions requires knowledge of the meaning of the data; erroneous results might be obtained if the meaning and usage of the data is not fully understood during the analysis.