Выдержка из книги
Четвериков В.Н.
Базы и банки данных
Процесс деления интервала пополам продолжается до тех пор, пока не будет найдена искомая запись ( К; а), либо пока в интервале не останется всего одна запись. Если значение ее ключа не удовлетворяет условию поиска, то поиск неудачный и искомой записи в файле нет.