Paul Thomas <paul@tmsl.demon.co.uk> writes:
> On 15/09/2003 08:42 Shridhar Daithankar wrote:
>> Is it possible to follow data type upgrade model in planner?
We have one, more or less. It's not explicitly coded, it emerges from
the fact that certain casts are implicit and others are not. For
instance, int4->float8 is implicit but float8->int4 is not.
> Interestingly, float8 indexes do work OK (float8col = 99). I spend a large
> part of yesterday grepping through the sources to try and find out why
> this should be so. No luck so far but I'm going to keep on trying!
The reason that case works is that there is no float8 = int4 operator.
The parser can find no other interpretation than promoting the int4 to
float8 and using float8 = float8. (The dual possibility, coerce float8
to int4 and use int4 = int4, is not considered because that coercion
direction is not implicit.) So you end up with an operator that matches
the float8 index, and all is well.
The int8 case fails because there is a cross-type operator int8 = int4,
and the parser prefers that since it's an exact match to the initial
data types. But it doesn't match the int8 index.
We've floated various proposals for solving this, such as getting rid of
cross-type operators, but none so far have passed the test of not having
bad side-effects. See the pg_hackers archives for details (and *please*
don't waste this list's bandwidth with speculating about solutions until
you've absorbed some of the history. This topic has been heard of
before ;-).)
regards, tom lane