Re: transitive closure

>> I yet to see a case that is handled by recursive "with" and not handled by "connect by". <<

Want to try an Ackeramnn function?

A(x,y) = if x = 0

         then (y+1)
         else if y = 0
              then A(x-1, 1) 
              else A(x-1, A(x,y-1));