Schema-Based Analysis of XSLT Streamability

摘要

We present an algorithm which analyzes memory requirements of the streaming processing of a given XSLT stylesheet on the set of XML documents defined by a given XML schema. This schema-based analyzer represents an integral part of the Xord framework for the streaming processing of XSLT - it determines the most efficient streaming algorithm for a given transformation and the class of XML documents defined by a schema. We describe the implementation of the analyzer for the stack-based streaming algorithm. The analysis is performed using the W3C XSD format for schemas. We introduce a new compact structure for XSD representation used in the analysis.