Arbor digitalis est structura datorum pure functionalis cum alias functionales datorum structuras efficienter exsequitur. Arbor digitalis accessum arboris digitis (folia) tempore constanti amortizato praebet, ubi data reponuntur, et in quoque nodo interno exitum operationis associativae ad proles adhibitae acervat. Haec data summaria in nodis internis acervatis adhiberi possunt ad functionalitatem structurarum datorum praeter arbores praebandam. Exempli gratia, nodos internos per minimum prolum in arbore primatum notare ordinem primatus exsequi potest, vel nodos per summam foliorum in liberis notare numerum indicatum exsequi potest.
Programmatores arbores digitales exsequi possunt cum aut sine[1] aestimatione pigra, sed pigritia exsecutiones simpliciores sinit.
Arbores digitales primum anno 1977 a Leonida J. Guibas et aliis publicatae sunt,[2] temporibus statis post expolitae, in exemplis quae arbores AVL,[3] arbores digitales impigras, simpliciores arbores digitales 2–3,[4] arbores B, aliasque res adhibent.