In this paper we introduce two families of safety properties: ♦-opacity and ♦linearizability. The new properties relax to various degree the real-time order requirement on transaction execution in opacity and, analogically, the real-time order requirement on operation execution in linearizability. This way we can formalize the guarantees provided by a wide class of strongly consistent replicate...

When there are many people who don't need to expect something more than the benefits to take, we will suggest you to have willing to reach all benefits. Be sure and surely do to take this the theory of database concurrency control that gives the best reasons to read. When you really need to get the reason why, this the theory of database concurrency control book will probably make you feel curi...