HOMELv043 「ライブロック(Livelock)」の説明として正しいものはどれか。 2026年1月24日 線形化可能性は実時間の順序に関する最強モデル。 SQL標準の分離レベルで、`SERIALIZABLE`が保証しなければならない条件はどれか。 データベースの「Undoログ(ロールバックセグメント)」の主な役割はどれか。