Nonlinear versus linear recursion: a perspective from computing transitive closures of a binary relation by the join domain nested loops approach.