On Thu, Apr 30, 2015 at 5:03 PM, Robert Haas <
robertmhaas@gmail.com> wrote:
>
> On Thu, Apr 30, 2015 at 12:31 AM, Amit Kapila <
amit.kapila16@gmail.com> wrote:
> > I think I am missing something here, but when this second
> > evaluation is needed. Basically what I understand from index
> > insertion is that it evaluates the value to be inserted in index
> > before calling nbtree module and then nbtree just inserts the
> > value/tuple passed to it.
>
> Sure, but what happens if it doesn't evaluate to the same value?
>
> Consider a tuple where a = 1 and a function f(a). You insert the
> tuple, evaluate f(a), and get 17. So you insert an index tuple into
> the btree with a value of 17, pointing at the tuple. Now you delete
> the tuple, evaluate f(a) again, and this time you get 42.
As the index expression contain table columns and all the functions
or operators used in expression must be IMMUTABLE, won't that
guarantee to avoid such a situation?
If not, then I think for such indexes we might need to search
for tupleoffset in the entire index and mark it as Delete or may be
for such indexes follow the current mechanism. I think it will still
give us lot of benefit in more common cases.
