Formal approach to data accuracy evaluation