1: \begin{abstract}

2: We study the problem of finding the worst-case bound for the size of the result $Q(\str D)$ of a fixed conjunctive query $Q$ applied to a database $\str D$ satisfying given functional dependencies. We provide a precise characterization of this bound in terms of entropy vectors, 

3: and in terms of finite groups. In particular, we show that an upper bound provided by Gottlob, Lee, Valiant and Valiant~\cite{gottlob} is tight, answering a question from their paper. Our result generalizes the bound due to Atserias, Grohe and Marx~\cite{agm}, who consider the case without functional dependencies. Our result shows that the problem of computing the worst-case size bound, in the general case, is closely related to difficult problems from information theory.

4:     % We give a tight bound for the output size of a natural join query, in the presence of functional dependencies,

5:     % generalizing the AGM bound from~\cite{agm}.

6:     %  More precisely, we show that the upper bound from~\cite{gottlob} is tight, by providing a construction of databases using finite groups.

7: 	\end{abstract}

8: