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