Heikki Linnakangas <heikki@xxxxxxxxxxxxxxxx> writes: > BTW: Do we make use of CHECK constraints in the planner? Only for "constraint exclusion", and at the moment that's off by default. The gating problem here is that if the planner relies on a CHECK constraint, and then you drop the constraint, the previously generated plan might start to silently deliver wrong answers. So I'd like to see a plan invalidation mechanism in place before we go very far down the path of relying on constraints for planning. That's something I'm going to try to make happen for 8.3, though. regards, tom lane
