Sciweavers

Share
CORR
2006
Springer
88views Education» more  CORR 2006»
8 years 6 months ago
On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas
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...
Wim Martens, Frank Neven, Marc Gyssens
BNCOD
2007
137views Database» more  BNCOD 2007»
8 years 7 months ago
How to Determine Output Schemas of XQuery Queries
The XQuery language is the standard query language for XML. The result of XQuery queries are typically XML documents in other formats. We introduce the term output schemas of an X...
Sven Groppe, Jinghua Groppe, Volker Linnemann
books