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)

Paper ID: hcb3387c7185950db
Venue: PODS
Year: 2005
Pagerank: 5.1198285e-05
Overall Rank: 9,851 | 33.77%
DOI: 10.1145/1065167.1065173

Incoming Non-self Citations Over Time

Authors

1. Stijn Vansummeren (Fund for Scientific Research Flanders; Limburgs Universitair Centrum)

BibTeX Citation

@inproceedings{vansummeren_pods05,
        address = {New York, NY, USA},
        series = {{PODS} '05},
        title = {{Deciding Well-Definedness of XQuery Fragments}},
        url = {https://dl.acm.org/doi/10.1145/1065167.1065173},
        doi = {10.1145/1065167.1065173},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Vansummeren, Stijn},
        year = {2005}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
6,059	Rewriting Nested XML Queries Using Nested Views	2006	SIGMOD	5.9001613e-05
7,420	A Crash Course on Database Queries	2007	PODS	5.5326094e-05

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
486	A Calculus for Complex Objects	1986	PODS	0.00017471997
3,756	XML with Data Values: Typechecking Revisited	2001	PODS	7.0446245e-05
4,636	On Testing Satisfiability of Tree Pattern Queries	2004	VLDB	6.4931113e-05
6,319	Containment of Nested XML Queries	2004	VLDB	5.8153622e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,064	On the Decidability of Containment of Recursive Datalog Queries - Preliminary report	2004	PODS
2	177	Decidability And Expressiveness Aspects Of Logic Queries	1987	PODS
3	8,447	Schema-Based Independence Analysis for XML Updates	2009	VLDB
4	3,756	XML with Data Values: Typechecking Revisited	2001	PODS
5	12,974	Structural Characterizations of the Semantics of XPath as Navigation Tool on a Document	2006	PODS
6	12,866	Dependable Cardinality Forecasts for XQuery	2008	VLDB
7	5,611	Annotated XML: Queries and Provenance	2008	PODS
8	4,807	On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values	2005	PODS
9	8,300	Formal Semantics and Analysis of Object Queries	2003	SIGMOD
10	9,422	Decidable XPath Fragments in the Real World	2019	PODS