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.

---