Consistency auditing of databases
Open Access
- 1 January 1974
- journal article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 17 (1) , 52-58
- https://doi.org/10.1093/comjnl/17.1.52
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.Keywords
This publication has 0 references indexed in Scilit: