Deciding Well-Definedness of XQuery Fragments
Summary: Analyzes well-definedness (no run-time errors) for non-recursive XQuery fragments under a bounded-depth type system: given an expression and input type, decide if it’s defined on all conforming inputs. Characterizes base-operation features causing undecidability and gives sufficient conditions ensuring decidability. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,300 | Rewriting Nested XML Queries Using Nested Views | 2006 | SIGMOD | 5.1223169e-05 |
| 7,238 | A Crash Course on Database Queries | 2007 | PODS | 4.7928464e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 440 | A Calculus for Complex Objects | 1986 | PODS | 0.00023084404 |
| 3,427 | XML with Data Values: Typechecking Revisited | 2001 | PODS | 7.1033924e-05 |
| 4,625 | On Testing Satisfiability of Tree Pattern Queries | 2004 | VLDB | 6.0406081e-05 |
| 6,294 | Containment of Nested XML Queries | 2004 | VLDB | 5.1255418e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,070 | On the Decidability of Containment of Recursive Datalog Queries - Preliminary report | 2004 | PODS | 4.843579e-05 |
| 172 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038808816 |
| 7,961 | Schema-Based Independence Analysis for XML Updates | 2009 | VLDB | 4.613363e-05 |
| 3,427 | XML with Data Values: Typechecking Revisited | 2001 | PODS | 7.1033924e-05 |
| 12,491 | Structural Characterizations of the Semantics of XPath as Navigation Tool on a Document | 2006 | PODS | 4.1945683e-05 |
| 12,383 | Dependable Cardinality Forecasts for XQuery | 2008 | VLDB | 4.1945683e-05 |
| 5,270 | Annotated XML: Queries and Provenance | 2008 | PODS | 5.5963545e-05 |
| 4,611 | On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values | 2005 | PODS | 6.0488752e-05 |
| 7,773 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD | 4.655071e-05 |
| 9,105 | Decidable XPath Fragments in the Real World | 2019 | PODS | 4.3953995e-05 |