Containment and Equivalence for an XPath Fragment [Extended Abstract]

Summary: Containment/equivalence for an XPath fragment with branching, label wildcards, and descendant axes: show containment becomes coNP-complete (contrasting prior two-feature tractability). Give an EXPTIME sound-and-complete algorithm, identify parameterized PTIME islands and coNP-hard bounded cases, and propose a fast sound-but-incomplete practical procedure. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: hdb709dbf1df11efb
Venue: PODS
Year: 2002
Pagerank: 0.00018868173
Overall Rank: 409 | 97.26%
DOI: 10.1145/543613.543623

Incoming Non-self Citations Over Time

Authors

1. Gerome Miklau (University of Washington)
2. Dan Suciu (University of Washington)

BibTeX Citation

@inproceedings{miklau_pods02,
        address = {New York, NY, USA},
        series = {{PODS} '02},
        title = {{Containment and Equivalence for an XPath Fragment [Extended Abstract]}},
        url = {https://dl.acm.org/doi/10.1145/543613.543623},
        doi = {10.1145/543613.543623},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Miklau, Gerome and Suciu, Dan},
        year = {2002}
}

Incoming Citations (Sorted by Pagerank)

Showing 43 of 43 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
679	Efficient Algorithms for Processing XPath Queries	2002	VLDB	0.00014837097
1,976	XPath Satisfiability in the Presence of DTDs	2005	PODS	9.2797174e-05
2,321	Efficient Query Reformulation in Peer Data Management Systems	2004	SIGMOD	8.6413639e-05
2,666	FleXPath: Flexible Structure and Full-Text Querying for XML	2004	SIGMOD	8.1566309e-05
2,715	A Framework for Using Materialized XPath Views in XML Query Processing	2004	VLDB	8.1017908e-05
2,733	Efficient Algorithms for Minimizing Tree Pattern Queries	2002	SIGMOD	8.0819e-05
2,881	On the minimization of XPath queries	2003	VLDB	7.9134117e-05
3,233	From Tree Patterns to Generalized Tree Patterns: On Efficient Evaluation of XQuery	2003	VLDB	7.5033766e-05
3,795	The Expressivity of XPath with Transitive Closure*	2006	PODS	7.0167646e-05
4,066	Rewriting XPath Queries Using Materialized Views	2005	VLDB	6.8221983e-05
4,156	Twig2Stack: Bottom-up Processing of Generalized-Tree-Pattern Queries over XML Documents	2006	VLDB	6.774434e-05
4,596	The Complexity of Query Containment in Expressive Fragments of XPath 2.0	2007	PODS	6.5098871e-05
4,636	On Testing Satisfiability of Tree Pattern Queries	2004	VLDB	6.4931113e-05
5,128	iTrails: Pay-as-you-go Information Integration in Dataspaces	2007	VLDB	6.260847e-05
5,355	Query Caching and View Selection for XML Databases	2005	VLDB	6.1625215e-05
5,490	Lazy Query Evaluation for Active XML	2004	SIGMOD	6.1094192e-05
6,059	Rewriting Nested XML Queries Using Nested Views	2006	SIGMOD	5.9001613e-05
6,133	Minimization of Tree Pattern Queries with Constraints	2008	SIGMOD	5.8776885e-05
6,319	Containment of Nested XML Queries	2004	VLDB	5.8153622e-05
6,612	Safe Data Sharing and Data Dissemination on Smart Devices	2005	SIGMOD	5.7344246e-05
7,057	Query Efficiency in Probabilistic XML Models	2008	SIGMOD	5.6113229e-05
7,418	Structured Materialized Views for XML Queries	2007	VLDB	5.5327659e-05
8,304	Maintaining XPath Views in Loosely Coupled Systems	2006	VLDB	5.3589548e-05
8,561	Materialized View Selection for XQuery Workloads	2012	SIGMOD	5.314012e-05
8,714	Satisfiability and Relevance for Queries over Active Documents	2009	PODS	5.2905577e-05
8,717	Conditional XPath, the first order complete XPath dialect*	2004	PODS	5.2905577e-05
9,104	Client-Based Access Control Management for XML documents	2004	VLDB	5.2283159e-05
9,176	Towards Theory for Real-World Data	2022	PODS	5.2127522e-05
9,834	PAXQuery: Parallel Analytical XML Processing	2015	SIGMOD	5.1239767e-05
9,855	Cooperative XPath Caching	2008	SIGMOD	5.1191909e-05
9,862	Answering Tree Pattern Queries Using Views	2006	VLDB	5.1176676e-05
9,980	Schema-Based Query Optimisation for Graph Databases	2025	SIGMOD	5.1013913e-05
10,237	The (Almost) Complete Guide to Tree Pattern Containment	2015	PODS	5.0543689e-05
12,136	Containment of Shape Expression Schemas for RDF	2019	PODS	4.9793485e-05
12,227	Data Citation: Giving Credit Where Credit is Due	2018	SIGMOD	4.9793485e-05
12,325	Minimization of Tree Pattern Queries	2016	PODS	4.9793485e-05
12,616	Answering Queries using Views over Probabilistic XML: Complexity and Tractability	2012	VLDB	4.9793485e-05
12,674	Generating Efficient Execution Plans for Vertically Partitioned XML Databases	2011	VLDB	4.9793485e-05
12,824	Efficient Rewriting of XPath Queries Using Query Set Specifications	2009	VLDB	4.9793485e-05
12,918	Reasoning about XML Update Constraints	2007	PODS	4.9793485e-05
12,974	Structural Characterizations of the Semantics of XPath as Navigation Tool on a Document	2006	PODS	4.9793485e-05
13,087	Answering XPath Queries over Networks by Sending Minimal Views	2004	VLDB	4.9793485e-05
13,089	The NEXT Framework for Logical XQuery Optimization	2004	VLDB	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,599	Conjunctive Queries over Trees	2004	PODS
2	12,781	Satisfiability of Downward XPath with Data Equality Tests	2009	PODS
3	8,609	On XPath with Transitive Axes and Data Tests	2013	PODS
4	6,319	Containment of Nested XML Queries	2004	VLDB
5	1,976	XPath Satisfiability in the Presence of DTDs	2005	PODS
6	12,974	Structural Characterizations of the Semantics of XPath as Navigation Tool on a Document	2006	PODS
7	2,881	On the minimization of XPath queries	2003	VLDB
8	12,824	Efficient Rewriting of XPath Queries Using Query Set Specifications	2009	VLDB
9	9,422	Decidable XPath Fragments in the Real World	2019	PODS
10	4,596	The Complexity of Query Containment in Expressive Fragments of XPath 2.0	2007	PODS