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...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. Key words XQuery - typing system - tree automata CLC number TP 301. 6 Biography: XIE Rong-chuan (1946-), male, Associate professor, research direction: database, internet information system.展开更多
文摘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. Key words XQuery - typing system - tree automata CLC number TP 301. 6 Biography: XIE Rong-chuan (1946-), male, Associate professor, research direction: database, internet information system.
