Constraint Database Query Evaluation with Approximation.