Abstract
This paper presents XML-λ, our approach to XML processing based on the simply typed λ-calculus. A λ-calculus model of both the XML and XPath languages is described and a prototype implementation is investigated.
We benchmark the prototype implementation, comparing it to existing XPath processors — Apache Xalan, Saxon, and Sun’s Java JAXP. Surprisingly, although the prototype is more of an idea validation tool than a benchmark tuned software, XPath query evaluation is fast, especially on pre-loaded XML documents. Benchmark results support our decision to use XML-λ as an XML database data storage model.
This work is part of a long-term effort targeted at designing a native XML database management system built upon this theoretical model.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bothner, P.: The Kawa language framework, http://www.gnu.org/software/kawa/
Clark, J., DeRose, S.: XML Path Language (XPath) 1.0 (November 1999), http://www.w3.org/TR/xpath
Draper, D., Fankhauser, P., Fernández, M., Malhotra, A., Rose, K., Rys, M., Siméon, J., Wadler, P.: XQuery 1.0 and XPath 2.0 Formal Semantics (January 2007), http://www.w3.org/TR/xquery-semantics/
Fernández, M., Siméon, J.: Galax (2004), http://www-db-out.bell-labs.com/galax/
Franceschet, M.: XPathMark: An XPath Benchmark for the XMark Generated Data. In: Bressan, S., Ceri, S., Hunt, E., Ives, Z.G., Bellahsène, Z., Rys, M., Unland, R. (eds.) XSym 2005. LNCS, vol. 3671, pp. 129–143. Springer, Heidelberg (2005)
Kay, M.: Saxon - XSLT Transformer (2001), http://saxon.sourceforge.net/
Loupal, P.: Experimental DataBase (ExDB) Project Homepage, http://swing.felk.cvut.cz/~loupalp
Loupal, P.: Updating typed XML documents using a functional data model. In: Pokorný, J., Snášel, V., Richta, K. (eds.) DATESO. CEUR Workshop Proceedings, vol. 235, CEUR-WS.org (2007)
Loupal, P., Richta, K.: Evaluation of XPath Fragments Using Lambda Calculi. In: ITAT 2008 - Information Technologies - Applications and Theory, pp. 1–4. Univerzita P.J.Šafárika, Košice (2008)
Meier, W.: eXist, http://exist.sourceforge.net/
Parr, T.: The Definitive ANTLR Reference: Building Domain-Specific Languages. The Pragmatic Bookshelf (2007) ISBN: 9780978739256
Pokorný, J.: XML functionally. In: Desai, B.C., Kioki, Y., Toyama, M. (eds.) Proceedings of IDEAS2000, pp. 266–274. IEEE Comp. Society, Los Alamitos (2000)
Pokorný, J.: XML-λ: an extendible framework for manipulating XML data. In: Proceedings of BIS 2002, Poznan, pp. 160–168 (2002)
Schmidt, A.R., Waas, F., Kersten, M.L., Florescu, D., Manolescu, I., Carey, M.J., Busse, R.: The XML Benchmark Project (April 2001)
Stoklasa, J., Loupal, P.: Complete Results of the XML-λ Benchmark, http://f.lisp.cz/XmlLambda
Sun Microsystems, Inc.: Java API for XML Processing (JAXP) (2006), https://jaxp.dev.java.net/
The Apache Software Foundation: Apache Xalan - XSLT Transformer (2001), http://xml.apache.org/
Wadler, P.: A formal semantics of patterns in XSLT. In: Markup Technologies, pp. 183–202. MIT Press, Cambridge (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stoklasa, J., Loupal, P. (2009). The XML-λ XPath Processor: Benchmarking and Results. In: Bellahsène, Z., Hunt, E., Rys, M., Unland, R. (eds) Database and XML Technologies. XSym 2009. Lecture Notes in Computer Science, vol 5679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03555-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-03555-5_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03554-8
Online ISBN: 978-3-642-03555-5
eBook Packages: Computer ScienceComputer Science (R0)