Database Theory - ICDT 2005

DOI10.1007/B104421zbMATH Open1112.68372OpenAlexW4232873349MaRDI QIDQ5316601FDOQ5316601

Michael I. Schwartzbach, Anders Møller

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)

Cited In (3)

• XML graphs in program analysis
• Backward type inference for XML queries
• XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles

Uses Software

• CDuce
• XDuce

Recommendations

• XML with data values: Typechecking revisited. 👍 👎
• Typechecking for XML transformers 👍 👎
• XML Type Checking Using High-Level Tree Transducer 👍 👎
• On the complexity of typechecking top-down XML transformations 👍 👎
• Frontiers of tractability for typechecking simple XML transformations 👍 👎
• Typechecking top-down XML transformations: Fixed input or output schemas 👍 👎
• Modulo constraints and the complexity of typechecking XML views 👍 👎
• Programming Languages and Systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)