div
A div B
est l'équivalent de :
numeric-divide(A as numeric, B as numeric) as integer
divide-yearMonthDuration(A as yearMonthDuration, B as numeric) as yearMonthDuration
divide-dayTimeDuration(A as dayTimeDuration, B as numeric) as dayTimeDuration
divide-yearMonthDuration-by-yearMonthDuration (A as yearMonthDuration, B as yearMonthDuration) as decimal
divide-dayTimeDuration-by-dayTimeDuration (A as dayTimeDuration, B as dayTimeDuration) as decimal
<-- Selectionne tous les noeuds fils du noeud courant de la sorte Employe avec Numero/Salaire==1000. -->
child::Employe[@Numero div @Salaire=1000]