The compilation phase checks static type correctness of XQuery expressions and DML statements, and uses XML schemas for type inferences for typed XML.

• 编译阶段会检查XQuery表达式和DML语句的静态类型正确性,并针对类型化的XML使用XML架构进行类型推理。