XSLT streamability analysis with recursive schemas
| Autor: | Pavel Labath |
|---|---|
| Rok vydání: | 2012 |
| Předmět: |
Document Structure Description
Theoretical computer science Correctness Schematron Computer science Programming language XML validation XSLT computer.software_genre XML Schema Editor Streaming XML ComputingMethodologies_DOCUMENTANDTEXTPROCESSING Worst-case complexity computer computer.programming_language |
| Zdroj: | RCIS |
| Popis: | We present an algorithm which checks whether a restricted XSLT stylesheet can be applied to documents conforming to a given schema using the Simple Streaming XML Transducer algorithm of Dvořakova et al. [1], [2]. Our contribution consists in extending the set of admissible schemas by allowing the choice constructor and recursive element definitions. We thoroughly analyze every part of the algorithm, prove its correctness and determine the worst case complexity bounds. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|