a formal definition of data quality problems