Re: unlogged sequences

On 01.04.22 00:43, Tomas Vondra wrote:
> Hmm, so what about doing a little bit different thing:
> 
> 1) owned sequences inherit persistence of the table by default
> 
> 2) allow ALTER SEQUENCE to change persistence for all sequences (no
> restriction for owned sequences)
> 
> 3) ALTER TABLE ... SET [UN]LOGGED changes persistence for sequences
> matching the initial table persistence

Consider that an identity sequence creates an "internal" dependency and 
a serial sequence creates an "auto" dependency.

An "internal" dependency means that the internal object shouldn't really 
be operated on directly.  (In some cases it's allowed for convenience.) 
So I think in that case the sequence must follow the table's persistence 
in all cases.  This is accomplished by setting the initial persistence 
to the table's, making ALTER TABLE propagate persistence changes, and 
prohibiting direct ALTER SEQUENCE SET.

An "auto" dependency is looser, so manipulating both objects 
independently can be allowed.  In that case, I would do (1), (2), and (3).

(I think your (3) is already the behavior in the patch, since there are 
only two persistence levels in play at that point.)

I wanted to check if you can have a persistent sequence owned by a temp 
table, but that is rejected because both sequence and table must be in 
the same schema.  So the sequence owned-by schema does insist on some 
tight coupling.  So for example, once a sequence is owned by a table, 
you can't move it around or change the ownership.