XML is a promising technology developed in recent years. Due to its superiority in extensibility and flexibility,XML has become the language over the internet. With more and more XML documents produced,the problem exi...XML is a promising technology developed in recent years. Due to its superiority in extensibility and flexibility,XML has become the language over the internet. With more and more XML documents produced,the problem exists to transform them to other documents of various structures. This paper discusses and compares four methods to transform XML documents,then introduces XSLT,a W3C recommendation, by giving examples and outlining a project in brief.展开更多
作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方...作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于验证XML查询的正确性,以及提高查询处理方法的可靠性和鲁棒性。同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法。展开更多
文摘XML is a promising technology developed in recent years. Due to its superiority in extensibility and flexibility,XML has become the language over the internet. With more and more XML documents produced,the problem exists to transform them to other documents of various structures. This paper discusses and compares four methods to transform XML documents,then introduces XSLT,a W3C recommendation, by giving examples and outlining a project in brief.
文摘作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(generalized tree pattern)提出了一种树模式描述语言XTPL(XML tree pattern language),采用指称语义方式给出其完整的语义描述,使得形式化方法可以用于分析树模式查询的行为特征,有助于验证XML查询的正确性,以及提高查询处理方法的可靠性和鲁棒性。同时以路径表达式为例,以指称语义的方式给出了从路径表达式提取树模式的算法。
