Nonlinear versus linear recursion: a perspective from computing transitive closures of a binary relation by the join domain nested loops approach | IEEE Conference Publication | IEEE Xplore