\subsubsection{Other rules}
\begin{itemize}
    \item \bi{Union of FDs} $\alpha \rightarrow \beta \land \alpha \rightarrow \gamma \implies \alpha \rightarrow \beta \gamma$
    \item \bi{Decomposition} $\alpha \rightarrow \beta \gamma \implies \alpha \rightarrow \beta \land \alpha \rightarrow \gamma$
    \item \bi{Pseudo Transitivity} $\alpha \rightarrow \beta \land \beta \gamma \rightarrow \theta \implies \alpha \gamma \rightarrow \theta$
\end{itemize}
