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.

---