HOMELv075 分散トランザクションにおける「2相コミット」のコーディネータが単一障害点(SPOF)となる問題を軽減するための改良版はどれか。 2026年1月24日 3相コミットやPaxosを用いたコーディネータ冗長化。 「CAP定理」は「3つのうち2つしか選べない」と言われるが、現代のクラウドDB(Spanner等)が実質的に3つ(CP+高い可用性)を達成しているように見える理由はどれか。 データベースへの「推論攻撃」を防ぐための「k-匿名化(k-anonymity)」とはどのような状態か。