论 XSLT 的树变换能力
编程语言
2007-05-23 v1 数据库
摘要
XSLT 是一种基于规则的标准编程语言,用于表达 XML 数据的变换。该语言当前正从 1.0 版向 2.0 版过渡。为理解这一过渡的计算后果,我们将 XSLT 限定于其纯树变换能力。在此关注点下,我们观察到 XSLT~1.0 尚不是计算完备的树变换语言:每一个 1.0 程序均可在指数时间内实现。然而,版本~2.0 的一个关键新特性——允许针对临时树的节点集——带来了完备性。我们给出了 XSLT 程序的形式化操作语义,并确立了该语义的合流性。
引用
@article{arxiv.cs/0603028,
title = {On the tree-transformation power of XSLT},
author = {Wim Janssen and Alexandr Korlyukov and Jan Van den Bussche},
journal= {arXiv preprint arXiv:cs/0603028},
year = {2007}
}