Database Theory - ICDT 2005

DOI10.1007/B104421MaRDI QIDQ5316601zbMATH OpenOpenAlexFDO

Authors Anders Møller, Michael I. Schwartzbach

Publication date 13 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b104421

Mathematics Subject Classification ID

Data structures (68P05) Database theory (68P15)

Recommendations

• Frontiers of tractability for typechecking simple XML transformations
• On the complexity of typechecking top-down XML transformations
• Typechecking for XML transformers
• XML Type Checking Using High-Level Tree Transducer
• Typechecking top-down XML transformations: Fixed input or output schemas
• scientific article; zbMATH DE number 1949611
• Programming Languages and Systems
• XML with data values: Typechecking revisited.
• Modulo constraints and the complexity of typechecking XML views
• scientific article; zbMATH DE number 1954116

Cited in

(8)

• Typechecking for XML transformers
• Backward type inference for XML queries
• XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
• Typed iterators for XML
• A simple and efficient step towards type-correct XSLT transformations
• XML graphs in program analysis
• Frontiers of tractability for typechecking simple XML transformations
• Typechecking top-down XML transformations: Fixed input or output schemas

Describes a project that uses

Uses Software

• CDuce
• XDuce

This page was built for publication: Database Theory - ICDT 2005

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5316601)