Abstract
Many useful xml transformations can be formulated through deterministic top-down tree transducers. If transducers process parts of the input repeatedly or in non-document order, then they cannot be realized over the xml stream with constant or even depth-bounded memory. We show that by enriching streams by forward references both in the input and in the output, every such transformation can be compiled into a stream processor with a space consumption depending only on the transducer and the depth of the xml document. References allow to produce DAG-compressed output that is guaranteed to be linear in the size of the input (up to the space required for labels). Our model is designed so that without decompression, the output may again serve as the input of a subsequent transducer.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Buneman, P., Grohe, M., Koch, C.: Path queries on compressed XML. In: VLDB, pp. 141–152 (2003)
Filiot, E., Gauwin, O., Reynier, P.-A., Servais, F.: Streamability of nested word transductions. In: FSTTCS, pp. 312–324 (2011)
Hakuta, S., Maneth, S., Nakano, K., Iwasaki, H.: XQuery streaming by forest transducers. In: ICDE, pp. 952–963 (2014)
Koch, C., Scherzinger, S.: Attribute grammars for scalable query processing on XML streams. VLDB J. 16(3), 317–342 (2007)
Koch, C., Scherzinger, S., Schmidt, M.: The GCX system: Dynamic buffer minimization in streaming XQuery evaluation. In: VLDB, pp. 1378–1381 (2007)
Lemay, A., Maneth, S., Niehren, J.: A learning algorithm for top-down XML transformations. In: PODS, pp. 285–296 (2010)
Maneth, S., Neven, F.: Structured Document Transformations Based on XSL. In: Connor, R.C.H., Mendelzon, A.O. (eds.) DBPL 1999. LNCS, vol. 1949, pp. 80–98. Springer, Heidelberg (2000)
Martens, W., Neven, F.: On the complexity of typechecking top-down XML transformations. Theor. Comput. Sci. 336(1), 153–180 (2005)
Martens, W., Neven, F., Gyssens, M.: Typechecking top-down XML transformations: Fixed input or output schemas. Inf. Comput. 206(7), 806–827 (2008)
Perst, T., Seidl, H.: Macro forest transducers. Inf. Process. Lett. 89(3), 141–149 (2004)
Segoufin, L., Vianu, V.: Validating streaming XML documents. In: PODS, pp. 53–64 (2002)
von Bochmann, G.: Semantic evaluation from left to right. CACM 19(2), 55–62 (1976)
Wei, M., Rundensteiner, E.A., Mani, M., Li, M.: Processing recursive XQuery over XML streams: The Raindrop approach. Data Knowl. Eng. 65(2), 243–265 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Maneth, S., Ordóñez, A., Seidl, H. (2015). Transforming XML Streams with References. In: Iliopoulos, C., Puglisi, S., Yilmaz, E. (eds) String Processing and Information Retrieval. SPIRE 2015. Lecture Notes in Computer Science(), vol 9309. Springer, Cham. https://doi.org/10.1007/978-3-319-23826-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-23826-5_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23825-8
Online ISBN: 978-3-319-23826-5
eBook Packages: Computer ScienceComputer Science (R0)