Determinism and recursion versus non-determinism and the transitive closure