Kordy, Barbara[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > > ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2009
19th International Workshop on Algebraic Development Techniques, WADT 2008
Springer
236-250
Yes
International
978-3-642-03428-2
19th International Workshop on Algebraic Development Techniques, WADT 2008
June 13-16, 2008
Pisa
Italy
[en] In this paper, we introduce an approach that allows us to handle the containment problem for the fragment XP(/,//,[ ],*) of XPath. Using rewriting techniques we define a necessary and sufficient condition for pattern containment. This rewrite view is then adapted to query evaluation on XML documents, and remains valid even if the documents are given in a compressed form, as dags.