"Zeugswetter Andreas SB SD" <[EMAIL PROTECTED]> writes:
>> Since bid is not in an index the evaluation of usability obviously
>> should not be based on index ops ?
Actually, now that I think about it, there's no reason that the prover
couldn't try a simple equal() on a WHERE clause and predicate
"Zeugswetter Andreas SB SD" <[EMAIL PROTECTED]> writes:
> Since bid is not in an index the evaluation of usability obviously
> should not be based on index ops ?
Feel free to reimplement the theorem-prover, taking special care to
be able to prove things about operators that you have zero informa
> > test=# create index myindex on accounts(aid) where bid <> 0;
>
> > Hmm ? Am I reading correctly ? a restriction that is on a field,
that
> > is not in the index ? Does that make sense ?
>
> Yes it does, and in fact it's one of the more important applications
of
> partial indexes. It's the
"Zeugswetter Andreas SB SD" <[EMAIL PROTECTED]> writes:
>> Tatsuo Ishii <[EMAIL PROTECTED]> writes:
> test=# create index myindex on accounts(aid) where bid <> 0;
> Hmm ? Am I reading correctly ? a restriction that is on a field, that
> is not in the index ? Does that make sense ?
Yes it does,
