我正在研究冲突序列化类中的顺序保留的概念，并且遇到了顺序保留冲突可序列化（简称 OCSR）。以下是我查到的OCSR的定义：
\n\n\n\n\n如果h是等价于串行历史hs 的冲突，其中 t,t'\xe2\x88\x88h:如果t完全出现在h中的t'之前，则历史 h 是可序列化的保留冲突顺序的冲突，那么hs中也同样成立。
\n
以下是 OCSR 中的计划示例之一：
\n\n\n\n\nw3(y) c3 w1(x)r2(x) c2 w1(y) c1
\n
但我不明白为什么这个时间表在 OCSR 中。因为根据我的理解，这是冲突图 t3 --- > t1 ---- > t2
\n\n它显示了一个串行时间表，其中 t1 在 t2 之前。但在原始的交错时间表中，t2 完全出现在 t1 之前。那么给定的示例如何说是在 OCSR 中呢？\n谁能帮我更好地理解这一点吗？
\n