Sampling the repairs of functional dependency violations under hard constraints · Study