Commutativity analysis in XML update languages