「TiDB」や「CockroachDB」が採用している分散合意アルゴリズムはどれか。

ビジネス要件に基づくモデリングや業務ロジック。