\begin{frame} \frametitle{Multivalued Dependencies} \begin{goal}{} Formally, $A \mvd B$ holds if: whenever two tuples agree on $A$, one can exchange their $B$ values and the resulting tuples are in the same table. \end{goal} \pause \begin{exampleblock}{} {\small Due to $\sql{employee} \mvd \sql{programmingLanguage}$ and the two table rows \begin{center} {\footnotesize\ttfamily \colorbox{rellight}{% \begin{tabular}{|r|r|r|} \hline \hd{\underline{employee}} & \hd{\underline{programmingLanguage}} & \hd{\underline{dbms}} \\ \hline John Smith & C & Oracle \\ John Smith & C++ & MySQL \\ \hline \end{tabular}% }} \end{center} the table must also contain the following rows \begin{center} {\footnotesize\ttfamily \colorbox{rellight}{% \begin{tabular}{|r|r|r|} \hline \hd{\underline{employee}} & \hd{\underline{programmingLanguage}} & \hd{\underline{dbms}} \\ \hline John Smith & C++ & Oracle \\ John Smith & C & MySQL \\ \hline \end{tabular}% }} \end{center} } \end{exampleblock} \pause \begin{goal}{} This expresses the \emph{independence} of \sql{programmingLanguage} for a given \sql{employee} from the rest of the table columns. \end{goal} \end{frame}