3 search results - page 1 / 1 » Typechecking Top-Down Uniform Unranked Tree Transducers |
ICDT
2003
ACM
13 years 9 months ago
2003
ACM
We investigate the typechecking problem for XML queries: statically verifying that every answer to a query conforms to a given output schema, for inputs satisfying a given input sc...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
Typechecking consists of statically verifying whether the output of an XML transformation always conforms to an output type for documents satisfying a given input type. In this ge...
ECWEB
2003
Springer
13 years 9 months ago
2003
Springer
Transformation of data documents is of special importance to use XML as the universal data interchange format on the Web. Data transformation is used in many tasks that require dat...