Revisiting and improving a result on integrity preservation by concurrent transactions

Abstract

We revisit a well-known result on the preservation of integrity by concurrent transactions. It says that the serializability of integrity-preserving transactions yields integrity-preserving histories. We improve it in two ways. First, we discuss divergent interpretations and restate them more precisely. Second, we make it applicable in the presence of inconsistency. © 2010 Springer-Verlag Berlin Heidelberg.