Reasoning about Uniqueness Constraints in