XML自动机的构造及实用化研究

Research on XML Automaton Build and Implementation

XML是目前已被广泛采用的WWW上信息交换和表示的技术之一 ,被称为Internet时代的通用数据格式 .该文首先针对现有的XML语法进行了抽象及封闭性分析 ,得到了扩展XML语法 ,接着提出了一种XML自动机的概念 ,证明了它与扩展的XML语法等价 ,而且具有“并”、“交”、“差”和“补”运算下的完全封闭性 ,然后开发了一个分析器 ,对由此扩展语法生成的对象进行分析 。

This paper puts forward a notion of extensible XML grammar and automaton after reviewing current situation of various XML grammars. A variety of abstracts is made in the work of this paper, which is convenient and caters to the need of different users. Firstly, based on a widely recognized XML grammar the extensible XML grammar or XML schema is created. Then an XML automaton is built to justify the extensible XML grammar for an XML algebra. Thirdly, several properties including closure of operation 'union', 'intersection', 'difference' and 'complement' are proved with respect to this automaton. Fourthly, the parser parsing XML automaton based documents is successfully developed. Finally, the significances of the automaton are stated for authors′ forthcoming project: Discrete Schema based Xml DataBase System.