我正在使用“冲突可序列化”类中的订单保留概念，并且遇到了“订单可保留冲突可序列化”（简称OCSR）。以下是我发现的OCSR的定义：
如果 h 与序列历史 hs 的冲突等效，则History h 是保持序列可冲突的顺序，其中t，t'∈h：if t 完全在 h 中的 t'之前发生，然后在 hs 中相同。
以下是OCSR中时间表的一个示例：
w3（y）c3 w1（x）r2（x）c2 w1（y）c1
但是我不知道为什么在OCSR中使用此时间表。因为据我了解，这是冲突图t3 ---> t1 ----> t2
显示了一个串行计划，其中t1在t2之前。但是在原始的交错计划中，t2完全在t1之前。那么给定的示例在OCSR中如何说？ 谁能帮我更好地理解这一点？