Automatic verification of data summaries