1
次のトランザクションスケジュールに対してシリアル化機能を適用しようとしていますが、ソリューションのスケジュールに論理的なエラーが含まれているようです。シリアル化のロックを追加する
T1: W(Y)
T2: R(V) R(Y) W(Z)
T3: W(V)
私は、次のS-およびX-ロックを追加します。
T1: X(Y) W(Y) U(Y)
T2: S(V) R(V) S(Y) R(Y) W(Z) U(Y) U(V)
T3: X(V) W(V) U(V)
だから、W（Y）/ R（Y）とW（V）/ R（V）が確実にする必要がありロックされる。 W（Z）は必要ありません。しかし、何らかの理由でスケジュール推論者が論理エラーを返す。
私は間違いをしたかどうか誰にでも教えてください。