Static Analysis of Active XML Systems

Summary: Static analysis of Active XML using Tree-LTL: a tree-pattern based temporal logic to express rich semantic properties of runs where embedded function calls return (possibly active) XML and spawn subtasks. Characterizes decidability frontier and complexity of automatic verification. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1461
Venue: PODS
Year: 2008
Pagerank: 5.6340455e-05
Overall Rank: 7,361 | 49.50%
DOI: 10.1145/1376916.1376948

Incoming Non-self Citations Over Time

Authors

1. Serge Abiteboul (INRIA; University of Paris)
2. Luc Segoufin (INRIA; École Normale Supérieure)
3. Victor Vianu (University of California San Diego)

BibTeX Citation

@inproceedings{abiteboul_pods08,
        address = {New York, NY, USA},
        series = {{PODS} '08},
        title = {{Static Analysis of Active XML Systems}},
        url = {https://dl.acm.org/doi/10.1145/1376916.1376948},
        doi = {10.1145/1376916.1376948},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Abiteboul, Serge and Segoufin, Luc and Vianu, Victor},
        year = {2008}
}

Incoming Citations (Sorted by Pagerank)

Showing 6 of 6 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,653	Foundations of Data-Aware Process Analysis: A Database Theory Perspective	2013	PODS	8.2898925e-05
4,943	Datalog Unchained	2021	PODS	6.4332239e-05
4,952	A Rule-based Language for Web Data Management	2011	PODS	6.4303908e-05
5,511	A Quest for Beauty and Wealth (or, Business Processes for Database Researchers)	2011	PODS	6.1915384e-05
8,547	Satisfiability and Relevance for Queries over Active Documents	2009	PODS	5.4119882e-05
12,030	Minimization of Tree Pattern Queries	2016	PODS	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 8 of 8 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
1,916	XPath Satisfiability in the Presence of DTDs	2005	PODS	9.4878711e-05
2,122	E-Services: A Look Behind the Curtain	2003	PODS	9.1402274e-05
2,125	Verification of Communicating Data-Driven Web Services	2006	PODS	9.1334411e-05
2,515	On XML Integrity Constraints in the Presence of DTDs	2001	PODS	8.4811795e-05
3,398	A Verifier for Interactive, Data-driven Web Applications	2005	SIGMOD	7.4467496e-05
3,679	XML with Data Values: Typechecking Revisited	2001	PODS	7.2045472e-05
6,287	On Verifying Consistency of XML Specifications	2002	PODS	5.9269709e-05
9,153	Positive Active XML	2004	PODS	5.3130241e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	4,051	XML Type Checking with Macro Tree Transducers	2005	PODS
2	3,274	Frontiers of Tractability for Typechecking Simple XML Transformations	2004	PODS
3	13,683	Efficient Evaluation for a Temporal Logic on Changing XML Documents	2011	PODS
4	5,346	Running Tree Automata on Probabilistic XML	2009	PODS
5	5,360	Lazy Query Evaluation for Active XML	2004	SIGMOD
6	9,166	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic	2007	VLDB
7	4,080	Specification and Verification of Data-driven Web Services	2004	PODS
8	12,410	Certain Answers for XML Queries	2010	PODS
9	13,846	Regular Rewriting of Active XML and Unambiguity	2005	PODS
10	9,153	Positive Active XML	2004	PODS