HOMELv093 「線形化可能性(Linearizability)」と「直列化可能性(Serializability)」の違いはどれか。 2026年1月24日 線形化可能性は実時間の順序に関する最強モデル。 SQLにおける「相関サブクエリ」のネストが深すぎる場合のオプティマイザの挙動リスクはどれか。 「スナップショット分離(SI)」における「First-Committer-Wins」ルールの意味はどれか。