XML with data values: Typechecking revisited.
From MaRDI portal
Publication:1401966
Recommendations
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
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)