"Chris Spotts" <rfusca@gmail.com> writes:
> Then this is also run
> alter table O add constraint notjuly check (NOT(date1 >= '2009-07-01' and
> date1 < '2009-07-01'))
> The planner excludes correctly except that it always checks O.
What are the actual queries you're hoping it will exclude for?
regards, tom lane