Interaction between Path and Type Constraints

Summary: Characterizes implication problems for path constraints (inclusions/inverses) over semistructured XML with and without schema/type systems, targeting semantics and query-optimization applications. Proves that types can both lower complexity (undecidable→cubic-time and finitely axiomatizable) and raise it (PTIME→undecidable) for different implication problems. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1160
Venue: PODS
Year: 1999
Pagerank: 5.2041072e-05
Overall Rank: 9,877 | 32.24%
DOI: 10.1145/303976.303982

Incoming Non-self Citations Over Time

Authors

1. Peter Buneman (University of Pennsylvania)
2. Wenfei Fan (University of Pennsylvania)
3. Scott Weinstein (University of Pennsylvania)

BibTeX Citation

@inproceedings{buneman_pods99,
        address = {New York, NY, USA},
        series = {{PODS} '99},
        title = {{Interaction between Path and Type Constraints}},
        url = {https://dl.acm.org/doi/10.1145/303976.303982},
        doi = {10.1145/303976.303982},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Buneman, Peter and Fan, Wenfei and Weinstein, Scott},
        year = {1999}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,515	On XML Integrity Constraints in the Presence of DTDs	2001	PODS	8.4811795e-05
4,167	Integrity Constraints for XML	2000	PODS	6.8578387e-05
4,178	A Web Odyssey: from Codd to XML	2001	PODS	6.849218e-05

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
348	Regular Path Queries with Constraints	1997	PODS	0.00020518814
355	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00020351749
1,073	A General Framework for the Optimization of Object-Oriented Queries	1992	SIGMOD	0.00012300294
1,233	Semistructured Data	1997	PODS	0.00011562468
3,308	Path Constraints on Semistructured and Structured Data	1998	PODS	7.5381026e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,287	On Verifying Consistency of XML Specifications	2002	PODS
2	2,515	On XML Integrity Constraints in the Presence of DTDs	2001	PODS
3	3,274	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS
4	348	Regular Path Queries with Constraints	1997	PODS
5	2,864	Typing and Querying XML Documents: Some Complexity Bounds	2003	PODS
6	3,679	XML with Data Values: Typechecking Revisited	2001	PODS
7	2,261	Type Inference for Queries on Semistructured Data (Extended Abstract)	1999	PODS
8	12,628	Reasoning about XML Update Constraints	2007	PODS
9	4,167	Integrity Constraints for XML	2000	PODS
10	3,308	Path Constraints on Semistructured and Structured Data	1998	PODS