XML with data values: Typechecking revisited.

DOI10.1016/S0022-0000(03)00032-1MaRDI QIDQ1401966zbMATH OpenFDO

Authors Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu

Publication date 19 August 2003

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0022-0000(03)00032-1

zbMATH Keywords

decidabilityXML queries

Mathematics Subject Classification ID

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

Recommendations

• Typechecking XML views of relational databases
• scientific article; zbMATH DE number 1953124
• On the complexity of typechecking top-down XML transformations
• Typechecking for XML transformers
• Frontiers of tractability for typechecking simple XML transformations

Cites work

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 46958 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1117901 (Why is no real title available?)
• Regular expression pattern matching for XML
• The complexity of querying indefinite data about linearly ordered domains
• The implication problem for functional and inclusion dependencies
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• Typechecking for XML transformers
• Typechecking XML views of relational databases
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(23)

• Backward type inference for XML queries
• Modulo constraints and the complexity of typechecking XML views
• Transducer-based analysis of cryptographic protocols
• XQuery and static typing: tackling the problem of backward axes
• The complexity of XPath query evaluation and XML typing
• On deciding well-definedness for query languages on trees
• Complexity of Data Tree Patterns over XML Documents
• Forward and backward application of symbolic tree transducers
• scientific article; zbMATH DE number 1954116 (Why is no real title available?)
• Types for path correctness of XML queries
• Typechecking XML views of relational databases
• Database Theory - ICDT 2005
• Database Theory - ICDT 2005
• Extending two-variable logic on data trees with order on data values and its automata
• Static analysis for path correctness of XML queries
• Programming Languages and Systems
• On the complexity of typechecking top-down XML transformations
• Distributed XML design
• Well-definedness and semantic type-checking for the nested relational calculus
• Automata for XML -- a survey
• Propagating XML constraints to relations
• 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

• ML
• XQuery

This page was built for publication: XML with data values: Typechecking revisited.

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