[DMDB] Start normal forms

semester4/dmdb/parts/02_theory-background/01_normal-forms/00_intro.tex

@@ -0,0 +1,10 @@
+\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}

semester4/dmdb/parts/02_theory-background/01_normal-forms/01_first-nf.tex

@@ -0,0 +1 @@
+\subsubsection{First Normal Form}

semester4/dmdb/parts/02_theory-background/main.tex

@@ -9,4 +9,11 @@
 \input{parts/02_theory-background/00_functional-dependencies/05_using.tex}
 % \input{parts/02_theory-background/00_functional-dependencies/}
 
+\input{parts/02_theory-background/01_normal-forms/00_intro.tex}
+\input{parts/02_theory-background/01_normal-forms/01_first-nf.tex}
+\input{parts/02_theory-background/01_normal-forms/02_second-nf.tex}
+\input{parts/02_theory-background/01_normal-forms/03_third-nf.tex}
+\input{parts/02_theory-background/01_normal-forms/04_bncf.tex}
+% \input{parts/02_theory-background/01_normal-forms/}
+
 % \input{parts/02_theory-background/}