Nie jesteś zalogowany |
Regular Tree Pattern Queries and Datalog
- Prelegent(ci)
- Adam Witkowski
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 27 listopada 2013 14:15
- Pokój
- p. 5870
- Seminarium
- Seminarium „Teoria automatów”
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.
