\begin{frame}[t]
  \frametitle{Cardinality Limits: Zero or One-to-Many}
  
  \begin{center}\vspace{-1ex}
  \begin{tikzpicture}[every edge/.style={link},node distance=22mm,>=triangle 45]
    \begin{scope}
      \node[relationship] (R) {R};
      \node (l) [left of=R,entity,minimum size=4mm] {A}; \draw (R) -- node[above,pos=.6] {$0\sldots 1$} (l); 
      \node (r) [right of=R,entity,minimum size=4mm] {B}; \draw (R) -- node[above,pos=.6] {$0\sldots *$} (r);
      
      \begin{scope}[nodes={draw,rectangle,fill=green!20,minimum size=4mm,scale=.8}]
      \foreach \i in {1,2,3,4,5,6} {
        \node at (-12mm,-5mm*\i - 3mm) (a\i) {a\i};
        \node at (12mm,-5mm*\i - 3mm) (b\i) {b\i};
      }
      \end{scope}
      
      \begin{scope}[thick]
        \draw (a2) to[out=0,in=180] (b1);
        \draw (a3) to[out=0,in=180] (b4);
        \draw (a3) to[out=0,in=180] (b5);
        \draw (a3) to[out=0,in=180] (b6);
      \end{scope}
    \end{scope}
  \end{tikzpicture}\vspace{-.5ex}
  \end{center}
  \bigskip
  
  \begin{goal}{}
    This describes a \emph{zero or one-to-many} relationship set:.
    \begin{itemize}
      \item every $a$ in $A$ is related to an arbitrary number $b$'s in $B$
      \item every $b$ in $B$ is connected to at most one $a$ in $A$
    \end{itemize}
  \end{goal}
  Confusingly, this is sometimes also called one-to-many.
\end{frame}