Single Transition Constraint for XML Update Validation | IEEE Conference Publication | IEEE Xplore