質問

安心のタプルの関係微分積分学、コンピュータの完全養成講座を開催します。

役に立ちましたか?

解決

のは、安全性を忘れましょう。 コッドの定理にすることで、リレーショナル計算は、一階述語論理に相当します。 FOLは、いくつかのグラフにおける点Aから点Bまでの経路があることを事実を表現することができない、非常に限られている(これは、限られた長さの点Aから点Bまでの経路は、例えば、そこだという事実を表現することができる∃ X∃y∃z∃t経路(X)と経路(x、y)と経路(Y、Z)と経路(z、t)及び経路(T、B)長さ4の経路)があります意味します。

異なる論理の強さが何であるかの説明については、記述複雑を参照してください。

他のヒント

による Coddの定理, しかありませんが、関係代数と微分積分関係は同等です。で持っていることが知られてい関係代数のないコンピュータの完全な関係に関する情報は見つかりませんで計算.

[編集] はできませんので、インスタンスは、総務など、max)又は再帰的な検索の関係代数学/微分積分学.見 こちらの 近くのです。

ライセンス: CC-BY-SA帰属
所属していません StackOverflow
scroll top