Tree automaton based algorithms for Sub-typing and inDOM relations in XQuery
Xie Rong-chuan, Xie Xuan-yang · Wuhan University Journal of Natural Sciences · 2004
Proposed by W3C (World Wide Web Consortium), XQuery is a descriptive query language for XML structured data or documents. The specification of XQuery gives functional description of XQuery’s typing system, but doestn’t provide methods to judge the Sub-typing and inDOM relations in language compiling. In this paper, both of the two important relations: Sub-typing and inDOM, are described and analyzed. After some definitions of Tree Automaton, the judgment algorithms of these two relations are proposed.