Reachability is in DynFO

Speaker(s)

Thomas Zeume

Affiliation

Uniwersytet Warszawski

Date

March 8, 2017, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

In the talk I will gently introduce the dynamic descriptive
complexity framework by Patnaik and Immerman. In their formalisation,
the result of a database query is updated by logical formulas after the
insertion or deletion of a tuple. The formulas may use additional
auxiliary relations that need to be updated as well. As an example I
will outline how the Reachability query can be maintained by first-order
formulas.

---