「オフラインファースト」なモバイアプリを実現する「MongoDB Realm Sync」が正式版に。モバイル用DBがクラウド上のMongoDB Atlasとデータ同期
CRANK
MongoDBは、モバイルアプリ用のデータベース「Realm Mobile Database」とクラウド上のバックエンドデータベース「MongoDB Atlas」のデータ同期を行う機能を備える「MongoDB Realm Sync」が正式サ...
2 comments
この記事では触れられてないけど、MongoDB の Realm Sync は検証に TLA+ を使用している。しかもよくある設計時の検証ではなく、テストケース生成に使用されている興味深い例。論文も出ている。 https://arxiv.org/abs/2006.00915