Wei Ni Tok Wang Ling Semantic validation for XML updates. 151-156 2008 ICUIMC http://doi.acm.org/10.1145/1352793.1352825 conf/icuimc/2008 db/conf/icuimc/icuimc2008.html#NiL08