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.00018859247
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
680	Efficient Algorithms for Processing XPath Queries	2002	VLDB	0.0001483008
1,978	XPath Satisfiability in the Presence of DTDs	2005	PODS	9.275331e-05
2,323	Efficient Query Reformulation in Peer Data Management Systems	2004	SIGMOD	8.637314e-05
2,666	FleXPath: Flexible Structure and Full-Text Querying for XML	2004	SIGMOD	8.1527901e-05
2,715	A Framework for Using Materialized XPath Views in XML Query Processing	2004	VLDB	8.0979555e-05
2,733	Efficient Algorithms for Minimizing Tree Pattern Queries	2002	SIGMOD	8.0780747e-05
2,883	On the minimization of XPath queries	2003	VLDB	7.9096688e-05
3,235	From Tree Patterns to Generalized Tree Patterns: On Efficient Evaluation of XQuery	2003	VLDB	7.4998307e-05
3,798	The Expressivity of XPath with Transitive Closure*	2006	PODS	7.0134429e-05
4,068	Rewriting XPath Queries Using Materialized Views	2005	VLDB	6.8189688e-05
4,156	Twig2Stack: Bottom-up Processing of Generalized-Tree-Pattern Queries over XML Documents	2006	VLDB	6.7712336e-05
4,598	The Complexity of Query Containment in Expressive Fragments of XPath 2.0	2007	PODS	6.5068054e-05
4,639	On Testing Satisfiability of Tree Pattern Queries	2004	VLDB	6.4900386e-05
5,131	iTrails: Pay-as-you-go Information Integration in Dataspaces	2007	VLDB	6.2578858e-05
5,361	Query Caching and View Selection for XML Databases	2005	VLDB	6.1596042e-05
5,494	Lazy Query Evaluation for Active XML	2004	SIGMOD	6.1065309e-05
6,060	Rewriting Nested XML Queries Using Nested Views	2006	SIGMOD	5.8973683e-05
6,135	Minimization of Tree Pattern Queries with Constraints	2008	SIGMOD	5.8749061e-05
6,323	Containment of Nested XML Queries	2004	VLDB	5.8126093e-05
6,616	Safe Data Sharing and Data Dissemination on Smart Devices	2005	SIGMOD	5.73171e-05
7,060	Query Efficiency in Probabilistic XML Models	2008	SIGMOD	5.6086666e-05
7,421	Structured Materialized Views for XML Queries	2007	VLDB	5.5301467e-05
8,311	Maintaining XPath Views in Loosely Coupled Systems	2006	VLDB	5.356418e-05
8,568	Materialized View Selection for XQuery Workloads	2012	SIGMOD	5.3114964e-05
8,722	Satisfiability and Relevance for Queries over Active Documents	2009	PODS	5.2880532e-05
8,725	Conditional XPath, the first order complete XPath dialect*	2004	PODS	5.2880532e-05
9,114	Client-Based Access Control Management for XML documents	2004	VLDB	5.2258409e-05
9,185	Towards Theory for Real-World Data	2022	PODS	5.2102846e-05
9,841	PAXQuery: Parallel Analytical XML Processing	2015	SIGMOD	5.1215512e-05
9,862	Cooperative XPath Caching	2008	SIGMOD	5.1167675e-05
9,869	Answering Tree Pattern Queries Using Views	2006	VLDB	5.115245e-05
9,989	Schema-Based Query Optimisation for Graph Databases	2025	SIGMOD	5.0989764e-05
10,243	The (Almost) Complete Guide to Tree Pattern Containment	2015	PODS	5.0519762e-05
12,142	Containment of Shape Expression Schemas for RDF	2019	PODS	4.9769913e-05
12,233	Data Citation: Giving Credit Where Credit is Due	2018	SIGMOD	4.9769913e-05
12,331	Minimization of Tree Pattern Queries	2016	PODS	4.9769913e-05
12,622	Answering Queries using Views over Probabilistic XML: Complexity and Tractability	2012	VLDB	4.9769913e-05
12,680	Generating Efficient Execution Plans for Vertically Partitioned XML Databases	2011	VLDB	4.9769913e-05
12,830	Efficient Rewriting of XPath Queries Using Query Set Specifications	2009	VLDB	4.9769913e-05
12,924	Reasoning about XML Update Constraints	2007	PODS	4.9769913e-05
12,980	Structural Characterizations of the Semantics of XPath as Navigation Tool on a Document	2006	PODS	4.9769913e-05
13,093	Answering XPath Queries over Networks by Sending Minimal Views	2004	VLDB	4.9769913e-05
13,095	The NEXT Framework for Logical XQuery Optimization	2004	VLDB	4.9769913e-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	12,787	Satisfiability of Downward XPath with Data Equality Tests	2009	PODS
2	1,599	Conjunctive Queries over Trees	2004	PODS
3	8,616	On XPath with Transitive Axes and Data Tests	2013	PODS
4	6,323	Containment of Nested XML Queries	2004	VLDB
5	1,978	XPath Satisfiability in the Presence of DTDs	2005	PODS
6	12,980	Structural Characterizations of the Semantics of XPath as Navigation Tool on a Document	2006	PODS
7	2,883	On the minimization of XPath queries	2003	VLDB
8	12,830	Efficient Rewriting of XPath Queries Using Query Set Specifications	2009	VLDB
9	9,431	Decidable XPath Fragments in the Real World	2019	PODS
10	4,598	The Complexity of Query Containment in Expressive Fragments of XPath 2.0	2007	PODS