Andres Freund <andres(at)anarazel(dot)de> writes:
> How's being unable to distinguish "never vacuumed" from "table is
> knowingly empty right now" not constrained by the representation?
Well, OK, it is constrained, but even if it weren't I'd be afraid to
assume a table is totally empty, even if it was so the last time
ANALYZE looked at it. The plans you get from that are spectacularly
fragile.
regards, tom lane