Re: WITH RECURSIVE (Documentation section 7.8.1) Note - Mailing list pgsql-docs

From Tom Lane
Subject Re: WITH RECURSIVE (Documentation section 7.8.1) Note
Date
Msg-id 9803.1570034504@sss.pgh.pa.us
Whole thread Raw
In response to WITH RECURSIVE (Documentation section 7.8.1) Note  (PG Doc comments form <noreply@postgresql.org>)
List pgsql-docs
PG Doc comments form <noreply@postgresql.org> writes:
> In section 7.8.1, the author comments "Note: Strictly speaking, this process
> is iteration not recursion, but RECURSIVE is the terminology chosen by the
> SQL standards committee."

I think I'm to blame for that wording.

> Example: R_2 = F(F(R_0))
> Example: R_5 = F(F(F(F(F(R_0))))
> This is textbook recursion, not just some folly of the ANSI standards
> committee as suggested by the note in the text.

No, it isn't.  F() is being applied repeatedly (iteratively).  If F()
called itself internally, that would be recursion.

Another way to look at this is that control of whether the repetition
is finished is external to the function/query.  If the stop condition
were part of the query logic, it'd be more sensible to think of it as
recursion, IMO.

            regards, tom lane



pgsql-docs by date:

Previous
From: PG Doc comments form
Date:
Subject: Pls mention ERROR: 2D000: cannot commit while a subtransaction is active on this page
Next
From: Stephen Frost
Date:
Subject: Re: I'm surprised to see the word master here