- 分散計算モデルの一つ
- 状態: 各マシンの状態は、レコードの集合(Relation)として表現される
- メッセージ: メッセージは、受信マシンのRelationに挿入・削除されるレコードとして表現される
- 計算: 各マシンでの計算は、イベントループの各イテレーションで現在のローカルRelationに対する論理的なクエリとして指定される
- ローカルのRelationからReadして、クエリが計算で、必要に応じてクエリの結果をローカルのRelationにWriteする・メッセージで送り合う、という感じっぽい?(kekeho)
参考
- https://dl.acm.org/doi/10.1145/275487.275507
- 提案された論文。PODS 98
- まだ読んでない(kekeho)