Reliable constraint reasoning with uncertain data