在W3C关于XML查询语言的推荐标准XQuery的基础上扩展出一系列更新操作，并且设计了XML文档更新过程中的有效性检查机制。提出了一种XML文档的带有效性检查的更新方法。