\begin{frame}
  \frametitle{Integrity Constraints}
  
  \begin{block}{}
    \textbf{Integrity constraints (IC)} are conditions which every
    database state has to satisfy.
  \end{block}
  \begin{itemize}
    \item This restricts the set of possible database states.\\
      \remark{Ideally only admits images of possible real world scenarios.}
  \smallskip
    
    \item Integrity constraints are specified in the database schema.
  \end{itemize}
  \bigskip
  
  \begin{goal}{}
    The database management system will \textbf{refuse any update} 
    leading to a database state that violates any of the constraints.
  \end{goal}
\end{frame}