Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data