Fourth normal form (source code)

= Fourth normal form
{wiki}

= 4NF
{c}
{synonym}

A <relational schema> is in <fourth normal form> if the determinant of every non-trivial <multivalued dependency> is a <superkey>. This implies <Boyce-Codd normal form> because every <functional dependency> implies a <multivalued dependency>.