© 1974 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Consistency auditing of databases
Computer Science Department, Birkbeck College, Malet Street, London, UK
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 isolatedthat 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.
Received October 1972.
* Computer Science Department, Birkbeck College, Malet Street, London WC1E 7HX