As in the tuple relational calculus, it is possible to generate
infinite expressions.
The solution is similar for domain relational calculus-restrict the
form to safe expressions involving values in the domain
of the formula.
Read the text for a complete explanation.