In the research performed under this grant we evaluate the applicability and performance impacts of mechanisms for consistency management. We analyze and evaluate the applicability and performance properties of procedures which have been previously proposed, and develop formulations and mechanisms for consistency and integrity management which are performance effective as well as being functionally correct over a spectrum of environments. The foundation for the analysis is the establishment of a framework for classifying and structuring appropriate concurrency control mechanisms. The workload descriptions are based upon analysis and measurement of existing systems. Our approach combines theoretical analysis with systematic experimentation and modeling. The modeling framework extends from analytically based searches of parameter space to very detailed trace driven models which have accuracy approaching that of measurement of the executing systems.