Byoce-Codd Normal Form

A relation schema $R$ is in Boyce-Codd Normal Form if whenever an FD $X\to A$ holds in $R$, then $X$ is a superkey of $R$.