On a Set of Equations for XQuery Source Level Transformation