\newpage
\subsection{Normal Forms}
\inlinedefinition[Normal forms] describe the properties of concrete schemas based on functional dependencies in terms of data redundancy and data integrity.

For each of the normal forms, we need to be able to decide:
\begin{itemize}
    \item whether $\{ R, F \}$ satisfies the NF
    \item given $\{ R, F \}$ that satisfies the NF, what are the properties?
    \item how can we generate new schema $R'$, such that $\{ R', F \}$ satisfies the given normal form
\end{itemize}
