6nf stands for Sixth normal form is intended to decompose relation variables to irreducible components.