\begin{frame} \frametitle{Exercise: For All \& Implication} \structureExercisesResults \bigskip \begin{code}{\textwidth}{Who got the best result for homework 1?} Construct the SQL query! \end{code} \vspace{-1ex} \pause \emph{In natural language:} the students \sql{S} that have a result \sql{X} for homework 1 such that for all result \sql{Y} for homework 1 it holds that \sql{Y.points} is less or equal to \sql{X.points}. \pause\bigskip \emph{In predicate logic (tuple relational calculus):} \logicquerya \end{frame}