Combining temporal logics for querying XML documents (2006)

Cached

Download Links

by Marcelo Arenas , Pablo Barceló , Leonid Libkin
Venue:In International Conference on Database Theory
Citations:6 - 1 self

Documents Related by Co-Citation

19 N-ary queries by tree automata – Joachim Niehren, Laurent Planque, Jean-marc Talbot, Sophie Tison - 2005
52 Locating Matches of Tree Patterns in Forests – Andreas Neumann, Helmut Seidl - 1998
194 Tree Automata: Techniques and Applications. Available on: http: //www.grappa.univ-lille3.fr/tata, 2007. release October – H Comon, M Dauchet, R Gilleron, C Löding, F Jacquemard, D Lugiez, S Tison, M Tommasi - 2007
64 Validating Streaming XML Documents – Luc Segoufin, Victor Vianu - 2002
9 Counting on CTL*: On the Expressive Power of Monadic Path Logic – Faron Moller, Alexander Rabinovich - 2003
22 Temporal logics over unranked trees – P Barceló, L Libkin - 2005
4 On-the-fly tuple selection for XQuery – Alexandru Berlea - 2007
5 François Bry. Towards aggregated answers for semistructured data – Holger Meuss, Klaus U Schulz - 2001
8 Combined Static and Dynamic Analysis for Effective Buffer Minimization in Streaming XQuery Evaluation – Michael Schmidt, Stefanie Scherzinger, Christoph Koch - 2007
7 Polynomial time fragments of xpath with variables – Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison - 2007
5 Vanja Josifovski. Buffering in query evaluation over XML streams – Ziv Bar-Yossef, Marcus Fontoura - 2005
6 Efficient and expressive tree filters – Michael Benedikt, Alan Jeffrey - 2007
5 Online evaluation of regular tree queries – Alexandru Berlea
6 Streaming tree automata – Olivier Gauwin, Joachim Niehren, Yves Roos
12 SPEX: Streamed and progressive evaluation of XPath – Dan Olteanu
9 Equivalence of finite-valued tree transducers is decidable – H Seidl
44 Generalized finite automata with an application to a decision problem of second-order logic – J W Thatcher, J B Wright - 1968
9 Ashish Gupta, Gerome Miklau, Makoto Onizuka, and Dan Suciu. Processing xml streams with deterministic automata and stream indexes – Todd J Green
125 Stream Processing of XPath Queries with Predicates – Ashish Kumar Gupta - 2003