Regular Expression Subtyping for XML Query and Update Languages

DOI10.1007/978-3-540-78739-6_3MaRDI QIDQ5458384zbMATH OpenOpenAlexFDO

Authors James Cheney

Publication date 11 April 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78739-6_3

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Regular expression types for XML
• Subtyping algorithm of regular tree grammars with disjoint production rules
• Programming Languages and Systems
• scientific article; zbMATH DE number 2080189
• FLUX: functional updates for XML

Cited in

(14)

• Backward type inference for XML queries
• Regular expression types for XML
• XQuery and static typing: tackling the problem of backward axes
• Mechanizing the metatheory of mini-XQuery
• Regular rooted graph grammars. A web type and schema language.
• Subtyping algorithm of regular tree grammars with disjoint production rules
• scientific article; zbMATH DE number 2080189 (Why is no real title available?)
• scientific article; zbMATH DE number 2080478 (Why is no real title available?)
• scientific article; zbMATH DE number 2080481 (Why is no real title available?)
• Types for path correctness of XML queries
• FLUX: functional updates for XML
• Programming Languages and Systems
• Database Programming Languages
• scientific article; zbMATH DE number 2241915 (Why is no real title available?)

Describes a project that uses

Uses Software

• CDuce
• XDuce

This page was built for publication: Regular Expression Subtyping for XML Query and Update Languages

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