You are not logged in |
Regular Tree Pattern Queries and Datalog
- Speaker(s)
- Adam Witkowski
- Affiliation
- Uniwersytet Warszawski
- Date
- Nov. 27, 2013, 2:15 p.m.
- Room
- room 5870
- Seminar
- Seminar Automata Theory
Regular Tree Pattern Queries (RTPQ) are queries for data trees that were defined during a research on Active XML.
We found that this formalism is interesting on its own and closely connected to Datalog.
I will talk about complexity of satisfiability and containment of the RTPQs.
We found that this formalism is interesting on its own and closely connected to Datalog.
I will talk about complexity of satisfiability and containment of the RTPQs.
