On Thu, Mar 20, 2014 at 5:32 AM, Alexander Korotkov
<aekorotkov@gmail.com> wrote:
> Besides implementation, what the idea was here? For me, it's impossible to
> skip any single element, because it's possible for query to include only
> this element. If we skip that element, we can't answer corresponding query
> no more.
This had something to do with an alternative notion of containment. I
wouldn't have stuck with such a radical change without consulting you.
I reverted it, and am not going to argue for the idea right now.
--
Peter Geoghegan