XML with data values: Typechecking revisited.

DOI10.1016/S0022-0000(03)00032-1zbMATH Open1054.68035MaRDI QIDQ1401966FDOQ1401966

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)

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

zbMATH Keywords

decidabilityXML queries

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The implication problem for functional and inclusion dependencies
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• The complexity of querying indefinite data about linearly ordered domains
• Weak Second‐Order Arithmetic and Finite Automata
• Title not available (Why is that?)
• Typechecking for XML transformers
• Title not available (Why is that?)
• Regular expression pattern matching for XML
• Typechecking XML views of relational databases

Cited In (23)

• On the complexity of typechecking top-down XML transformations
• Database Theory - ICDT 2005
• Forward and backward application of symbolic tree transducers
• Title not available (Why is that?)
• Frontiers of tractability for typechecking simple XML transformations
• 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
• Static analysis for path correctness of XML queries
• On deciding well-definedness for query languages on trees
• Database Theory - ICDT 2005
• Backward type inference for XML queries
• 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

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)