Publication at Faculty of Mathematics and Physics |
2009
Abstract
Efficient querying and updating XML is a popular research topic nowadays. This paper describes a proposal for evaluating XPath and XQuery queries using a functional framework for XML ? XML-Lambda.
Our approach is based on a language that utilizes a simply typed lambda-calculus enriched with tuples. In principle, input queries are transformed into an intermediate representation and subsequently evaluated inside a virtual machine.
We also publish the result of an interim performance benchmark that compares our prototype implementation written in Java with other similar tools.