Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)us> writes:
> If we don't suffix global users with '@', a global user named 'dave'
> could not attach to a database called 'db1' as himself if a user called
> 'dave(at)db1' existed.
No, it's the other way around (assuming you check user before user(at)db):
the existence of a global user would prevent similarly-named local users
from connecting. This does not strike me as too terrible, assuming that
there are not very many global users.
regards, tom lane