Abstract
Many databases need to have their contents kept at a high level of accuracy. New kinds of auditing procedures must be devised to ensure this. Inaccuracies arise from various causes; in this paper one particular fundamental aspect of accuracy is isolated—that of consistency of the stored data. Inconsistencies occur when the stored data fails to reflect the rule of compatibility of the elements of the applications world. The expression of the rules governing the generation of the data in the application, and the resulting complexity of validation procedures are investigated through mathematical logic.

This publication has 0 references indexed in Scilit: