An Automata-Theoretic Approach to Regular XPath

@inproceedings{Calvanese2009AnAA,
  title={An Automata-Theoretic Approach to Regular XPath},
  author={Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini and Moshe Y. Vardi},
  booktitle={DBPL},
  year={2009}
}
In this paper we present Regular XPath (RXPath), which is a natural extension of XPath with regular expressions over paths that has the same computational properties as XPath: linear-time query evaluation and exponential-time reasoning. To establish these results, we devise a unifying automata-theoretic framework based on two-way weak alternating tree automata. Specifically, we consider automata that have infinite runs on finite trees. This enables us to leverage and simplify existing automata… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS