3 citations · 8 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 2 cited
A Strategy for Dynamic Programs: Start over and Muddle through
Samir Datta, Anish Mukherjee, Thomas Schwentick +2
In the setting of DynFO, dynamic programs update the stored result of a query whenever the underlying data changes. This update is expressed in terms of first-order logic. We intro…
cs.LO2017★ 1 cited
Dynamic Complexity under Definable Changes
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
This paper studies dynamic complexity under definable change operations in the DynFO framework by Patnaik and Immerman. It is shown that for changes definable by parameter-free fir…