Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> My concern here is to arrive at a standards conforming role system. Clearly
> we've established that the current one doesn't do it. Moreover, I'm now
> convinced that some aspects of the current implementation arose from an
> attempt to implement the standard but failed because of misunderstandings.
No, the current implementation is a compromise between exact standards
compatibility and backwards compatibility with our historical "groups"
behavior. I'm not really prepared to toss the latter overboard.
regards, tom lane