This paper discusses the options available to a systems designer in producing a system that has requirements for high data integrity. Such requirements are often typical of transaction-oriented systems. Models are provided which will allow performance predictions to be made for particular examples.