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