A table that has all key attributes defined, has no repeating groups, and all its attributes are $3$NF $2$NF $1$NF $4$NF