Suivant un prédicat p sur une page de l'arbre et une requête utilisateur, q, cette méthode doit renvoyer false s'il est certain qu'à la fois p et q ne peuvent pas être vrais pour un élément de données spécifié.

Cette méthode consolide les informations de l'arbre. Suivant une liste d'entrées, cette fonction génère un nouveau prédicat qui est vrai pour toutes les entrées.

Convertit l'élément de données en un format convenable pour l'emplacement physique dans une page d'index.

L'inverse de la fonction compress. Convertit la représentation de l'élément donné en un format manipulable par la base de données.

Renvoie une valeur indiquant le « coût » d'une insertion d'une nouvelle entrée dans une branche particulière de l'arbre. Les éléments seront insérés en bas du chemin de la plus petite pénalité (penalty) de l'arbre.

Quand une séparation de page est nécessaire, cette fonction décide des entrées qui resteront sur l'ancienne page et de celles qui seront déplacées sur la nouvelle.

Renvoie true si deux entrées sont identiques, false autrement.