主要な分散トランザクションがどのように実装されているか、よく分かりました。