Logical rewritings for improving the evaluation of quantified queries