(3)快照隔离(SI)验证 对于SI验证,算法检查特定的依赖模式,来识别SI违规,特别关注在SI下常见的写偏移异常(write-skew anomaly)。
read repeatable有个令人讨厌的write-skew异常[12]。 举个例子。小薇在一个银行有两张信用卡,分别是A和B。