\n", " then A is a superkey for R OR B is part of some key. \n", "\n", "You can read more about this in the section

\n", "

\n", " Find A s.t.:

\n", "\n", "

\n", " \n", " let

\n", " decompose R into

\n", " \n", " Return 3NFDecomp(R

\n", " then A is a superkey for R. \n", "\n", "You can read more about this normal form in the section

\n", " Find a non trivial MVD A = {A1, A2, ..., An}↠B in R, s.t. A is not a superkey for R\n", "\n", "

\n", " \n", " let

\n", " decompose R into

\n", " \n", " Return 4NFDecomp(R