Commutativity analysis for XML updates