Analysis of some optimistic concurrency control schemes based on certificationAlexander ThomasianIn Kyung Ryu1985SIGMETRICS 1985