Reasoning about disclosure in data integration in the presence of source constraints