Fourth normal form
= 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>.