1: \begin{definition}

2: \label{algebra}

3: The query language $\mathcal Q$ considered in this paper consists of queries that are built using the relational operators $\sigma,\pi,\times,\Join,\varpi$. In $\pi_A$ and $\varpi_{A;\alpha_1\leftarrow(B_1),\dots,\alpha_k\leftarrow(B_k)}$, the attributes in $A$ are PGF of constants, in other words, they consists of a single term with coefficient 1. The aggregates in $\varpi$ are COUNT, SUM, MIN and MAX.\ignore{those defined by the monoids of Theorem ~\ref{thm:aggmonoid}}. The comparison operators are $=,<,\le,>,\ge$, denoted in general by $\theta$. 

4: \end{definition}

5: