Sciweavers

48 search results - page 1 / 10
» Transformation of XML Data Using an Unranked Tree Transducer
Sort
View
ECWEB
2003
Springer
110views ECommerce» more  ECWEB 2003»
13 years 10 months ago
Transformation of XML Data Using an Unranked Tree Transducer
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...
Tadeusz Pankowski
PODS
2010
ACM
170views Database» more  PODS 2010»
13 years 10 months ago
A learning algorithm for top-down XML transformations
A generalization from string to trees and from languages to translations is given of the classical result that any regular language can be learned from examples: it is shown that ...
Aurélien Lemay, Sebastian Maneth, Joachim N...
ICDT
2003
ACM
126views Database» more  ICDT 2003»
13 years 10 months ago
Typechecking Top-Down Uniform Unranked Tree Transducers
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...
Wim Martens, Frank Neven
PODS
2005
ACM
99views Database» more  PODS 2005»
14 years 5 months ago
XML type checking with macro tree transducers
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...
ADBIS
2004
Springer
111views Database» more  ADBIS 2004»
13 years 10 months ago
A High-Level Language for Specifying XML Data Transformations
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
Tadeusz Pankowski