Manfred Koizar <mkoi-pg(at)aon(dot)at> writes:
> [ factoring out server names into a separate table ]
> should give you a much smaller index on fiveminute.
True, but it would also turn all his queries into joins. Might or might
not be a win in practice. (Worth considering, though.)
regards, tom lane