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)

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 Implication Problem for Functional and Inclusion Dependencies is Undecidable
• The complexity of querying indefinite data about linearly ordered domains
• The implication problem for functional and inclusion dependencies
• Typechecking XML views of relational databases
• Typechecking for XML transformers
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(23)

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

Describes a project that uses

Uses Software

• XQuery
• ML

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)