XPTO公司

XPTO:一个具有类型感知优化功能的XPath预处理器。各种语言允许使用特定的查询语言来选择和转换文档的部分。这样的查询是为不同的数据类型定义的,并且只为一些相关的子类型指定特定的行为。这是XML查询语言的一个众所周知的特性,它允许在不完全指定中间节点的情况下选择元素节点。我们已经实现了一个系统,通过对XPath表达式的结构化属性进行模式专门化,对XPath表达式执行优化。该系统的核心是由一个组合子库组成,它基于代数定律对结构无关的程序进行转换,转换为结构敏感程序,反之亦然。我们展示了如何针对特定的XPath特性扩展核心库,以及如何调整核心库以构建一个有效的重写系统,以专门化和优化XPath结构的程序。该系统的前端将xmlschema和XPath文件转换为内部表示,并生成包含优化查询的Haskell程序作为Haskell函数。前端本身是通过函数式语言Haskell实现的。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换