平成31年度 春期 データベーススペシャリスト試験 午前Ⅱ 問10

解説

スケジュールを時系列に追うと，t1でT1がAをselect（共有ロック），t2でT2がBをselect，t3でT3もAをselect（共有ロックは複数トランザクションで共有可能），t4でT4がBをselectします。t5でT4がBをupdate（専有ロックへ）しようとしますが，T2がBに共有ロックを掛けたままなので，T4はT2のアンロック待ちになります（T4→T2）。t6でT1がCをselectし，t7でT2がCをselectし，t8でT2がCをupdateしようとしますが，T1がCに共有ロックを掛けたままなので，T2はT1のアンロック待ちになります（T2→T1）。t9でT3がAをupdateしようとしますが，T1・T3ともにAに共有ロックを掛けている状態でT3が専有ロックを要求するため，T3はT1のアンロック待ちになります（T3→T1）。図の待ちグラフでは，bからa，aからd，cからdへの矢印が示されています。ここまでの分析でT4→T2という待ち関係が確定していることから，設問の待ちグラフのb→aの矢印はT4→T2に対応すると考えられ，これによりbがT4，aがT2に対応します。したがって，aに当てはまるトランザクションはT2です。

選択肢ごとの解説

• ア誤り。T1はt10でcommitを発行しようとする側のトランザクションであり，他のトランザクションの資源アンロックを待つ立場（グラフ上でaに対応する側）には該当しません。
• イ正しい。t5でT4がBをupdateしようとした際，Bに共有ロックを掛けているT2のアンロックを待つ関係（T4→T2）が生じており，これが待ちグラフのb→aに対応するため，aはT2です。
• ウ誤り。T3はt9でAをupdateしようとしてT1の待ちになるトランザクション（グラフ上のc又はそれに類する末端ノードに対応）であり，他から矢印を受けるaの位置には対応しません。
• エ誤り。T4は待ちグラフ上で他のトランザクション（T2）のアンロックを待つ側（bに対応するノード）であり，aに対応するトランザクションではありません。