Modelo por capas
Nodos anchos
Un B-tree de orden m es un árbol de búsqueda donde cada nodo guarda varias claves ordenadas y tiene un hijo más que claves:
El invariante de orden se generaliza: las claves del primer hijo son menores que 20; las del segundo, entre 20 y 40; las del tercero, mayores que 40.
Y un invariante de forma:
todas las hojas están a la misma profundidadcada nodo (salvo la raíz) está al menos medio llenoCon m grande (cientos de claves por nodo), la altura es log en base m de n: muy pequeña. Para buscar, en cada nodo se hace una búsqueda binaria entre sus claves y se baja al hijo que corresponde.