Читаю книгу Видениуса по MySQL.
Затык возник на теме индексов .

Во-первых, не объяснена суть модификации индексированных столбцов .

Скажите, в каком порядке и как именно это происходит?

Объясните, пожалуйста, почему в нижеприведенном примере возникает бесконечный цикл в старой версии MySQL?

UPDATE iny_tbl SET key_col = key_col + 1 WHERE key_col > 0 ?

Хоть убейте - не пойму. Может, я просто неправильно понимаю модификацию?
Допустим, индексный столбец имеет вид: -2, -1, 0, 4, 6.
Начинаем апдэйтить: -2 - пропускаем, -1, 0 - тоже. 4 "превращаем" в 5, затем модифицируем соответствующую "бывшей четверке" ячейку в таблице. То же делаем с "шестеркой"... Никаких проблем и бесконечных циклов.
Затем проверяем, не нарушилась ли сортировка в индексном файле. Если - да, то сортируем каким-нить "пузырьком".

Если ситуация - более сложная, т.е. запрос - таков, что после модификации индексного файла очередность в возрастающем порядке нарушится, то последующая сортировка "вернет все на место".

Что я не так говорю?