Datalog プログラムの命令の評価順序は? 完全な固定点は常に最小の固定点ですか?
2 に答える
1
プログラムが階層化されている場合は、計算の階層に従います。「基本的な事実」(EDB) から始めて、EDB のみに依存する IDB、EDB のみに依存する IDB のみに依存する IDB などに進みます。フィックスポイントは一意であることが保証されています。
于 2012-04-08T22:57:03.380 に答える
0
はい、明確な Datalog プログラムの完全なモデルは、最小の Herbrand モデルと一致します (これは [1] などに見られる命題です)。
ここで、階層化された Datalog プログラムは、階層化可能な否定を含む Datalog 内のプログラムです。プログラムは明確ではありませんが、層別化可能であるため、層ごとに評価できます（Alexanderが回答で説明している方法）。再び最小固定点に到達することを確認するのはそれほど難しくありません。以前は、教授による Datalog と演繹データベースに関する優れた教科書がありました。アンドレイ・ヴォロンコフ。
明確な Datalog プログラムの評価の順序は重要ではありません。否定を伴う Datalog の場合は、より注意する必要があります。
[1] ロイド - 論理プログラミングの基礎
于 2013-12-18T09:53:18.320 に答える