To jest poprawne, a także udokumentowane .
Dlaczego:Indeks wygląda zasadniczo jak to drzewo:
- A:„wartość A”
- B :„ABC”
- C:435
- C:678
- B :„BCD”
- C:123
- C:993
- B :„ABC”
Jak widać, kolejność jest poprawna i rosnąco, ale jeśli przyjmiesz wartości c w kolejności bez ograniczania się do podzbioru stałych b , otrzymasz [435, 678, 123, 993] , co nie jest poprawne, więc scanAndOrder jest wymagane.
Niestety indeksy bez przecinania się indeksów są bardzo nieelastyczne.