XML semantic constraint validation for XML updates: A survey | IEEE Conference Publication | IEEE Xplore