Pages that link to "Item:Q1401966"
From MaRDI portal
The following pages link to XML with data values: Typechecking revisited. (Q1401966):
Displaying 19 items.
- Forward and backward application of symbolic tree transducers (Q404011) (← links)
- On the complexity of typechecking top-down XML transformations (Q555775) (← links)
- Distributed XML design (Q657904) (← links)
- Well-definedness and semantic type-checking for the nested relational calculus (Q870267) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- Propagating XML constraints to relations (Q878752) (← links)
- Frontiers of tractability for typechecking simple XML transformations (Q878753) (← links)
- Typechecking top-down XML transformations: Fixed input or output schemas (Q937295) (← links)
- Backward type inference for XML queries (Q2182320) (← links)
- Modulo constraints and the complexity of typechecking XML views (Q2272220) (← links)
- Transducer-based analysis of cryptographic protocols (Q2464141) (← links)
- XQuery and static typing: tackling the problem of backward axes (Q2981946) (← links)
- The complexity of XPath query evaluation and XML typing (Q3546299) (← links)
- On deciding well-definedness for query languages on trees (Q3546341) (← links)
- Complexity of Data Tree Patterns over XML Documents (Q3599134) (← links)
- Types for path correctness of XML queries (Q5178031) (← links)
- Database Theory - ICDT 2005 (Q5316601) (← links)
- Database Theory - ICDT 2005 (Q5316619) (← links)
- Extending two-variable logic on data trees with order on data values and its automata (Q5410335) (← links)