"bwhite" <bwhite@frognet.net> writes:
> I'm rather confused about the logic of something in the rtree code, perhaps
> someone can provide some insight here.
Hmm ... given the comments in rtstrat.c it seems clear that "overleft"
has to mean "overlaps or is to left of", which means that this
definition is wrong:
> S &< T iff sup(S) <= sup(T)
It'd need to be
S &< T iff inf(S) <= sup(T)
to satisfy the geometrical intuition. (You could quibble about the
equality case, but box_overlap seems to consider touching boxes to
overlap, so for consistency this should too.)
However, if this is indeed wrong, why have we not heard bug reports
stating that rtree indexes don't work? Can you generate a test case
in which it fails?
regards, tom lane