我很难在这里找到这个问题的定义/解释（大学考试相关）：
“请考虑以下时间表。操作按计划顺序列出，并以事务名称为前缀。
查看S1和S2是可序列化，冲突可序列化，查看可序列化？“
S1: T2:R(B), T2:W(B), T1:W(A), T1:R(B), T3:R(A), T1:W(B), T2:W(A)
S2: T1:R(B), T3:R(A), T3:W(A), T2:R(B), T2:W(A), T3:W(C), T1:R(A), T2:R(C)
我对“可串行化冲突”没有问题（绘制优先级图，检查周期 - 如果非循环则可以冲突序列化）或甚至“查看可序列化”，因为两者都有大量的引用。
但我不确定如何检查它是否“可序列化”（第一个） - 任何想法，工具，提示或技巧或链接的顺序/步骤？我真的很感激。
我理解为“可序列化”它需要有一个等同于序列计划的结果（结果DB状态），但是我找不到如何检查它的步骤。