Reasoning about XML Update Constraints

Summary: Introduce a class of XML update constraints to specify allowed document evolutions and study the implication problem for fragments of varying expressive power, giving algorithms and complexity bounds. Also define instance-based implication (w.r.t. a current tree after unknown updates) and analyze its decidability/complexity to support integrity reasoning under restricted update control (e.g., publishing/exchange). (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: hb4e905550047ba54
Venue: PODS
Year: 2007
Pagerank: 4.9793485e-05
Overall Rank: 12,918 | 13.15%
DOI: 10.1145/1265530.1265558

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Bogdan Cautis (INRIA; University of Paris)
2. Serge Abiteboul (INRIA; University of Paris)
3. Tova Milo (Tel Aviv University)

BibTeX Citation

@inproceedings{cautis_pods07,
        address = {New York, NY, USA},
        series = {{PODS} '07},
        title = {{Reasoning about XML Update Constraints}},
        url = {https://dl.acm.org/doi/10.1145/1265530.1265558},
        doi = {10.1145/1265530.1265558},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Cautis, Bogdan and Abiteboul, Serge and Milo, Tova},
        year = {2007}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 9 of 9 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
356	Regular Path Queries with Constraints	1997	PODS	0.00020103855
409	Containment and Equivalence for an XPath Fragment [Extended Abstract]	2002	PODS	0.00018868173
1,315	DTD Inference for Views of XML Data	2000	PODS	0.00011058412
2,100	XML Data Exchange: Consistency and Query Answering	2005	PODS	9.050183e-05
2,565	On XML Integrity Constraints in the Presence of DTDs	2001	PODS	8.2910005e-05
2,833	Updating XML	2001	SIGMOD	7.9573038e-05
3,730	Tree Pattern Aggregation for Scalable XML Data Dissemination	2002	VLDB	7.0691938e-05
4,135	Two-Variable Logic on Data Trees and XML Reasoning	2006	PODS	6.7875138e-05
6,626	Representing and Querying XML with Incomplete Information	2001	PODS	5.7291244e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	8,447	Schema-Based Independence Analysis for XML Updates	2009	VLDB
2	6,391	From XML view updates to relational view updates: old solutions to a new problem	2004	VLDB
3	12,644	Type-Based Detection of XML Query-Update Independence	2012	VLDB
4	2,833	Updating XML	2001	SIGMOD
5	2,934	Typing and Querying XML Documents: Some Complexity Bounds	2003	PODS
6	6,410	On Verifying Consistency of XML Specifications	2002	PODS
7	4,135	Two-Variable Logic on Data Trees and XML Reasoning	2006	PODS
8	2,565	On XML Integrity Constraints in the Presence of DTDs	2001	PODS
9	10,067	Interaction between Path and Type Constraints	1999	PODS
10	4,248	Integrity Constraints for XML	2000	PODS