データベースアクティブ・パッシブ・レプリケーション・アイソメトリック・コンセプト 仮想同期 ベクトル・デザイン ビッグデータ