From the research index
The paper comes from the research index. It wasn’t submitted here.
Book
Small dynamic complexity classes
Thomas Zeume
Technische Universität Dortmund Eldorado (Technische Universität Dortmund)1 Jan 2015Open access
Small dynamic complexity classes
Thomas Zeume · Technische Universität Dortmund Eldorado (Technische Universität Dortmund) · 1 Jan 2015
Abstract
The full text is at the publisher
You can read the abstract here, or open it at the publisher.
The re-evaluation of a query result after modifying a large database can be a time-consuming process; in particular when it is performed from scratch. For this reason previously computed information such as the old query result and (possibly) other auxiliary information is often reused in order to speed up the process. In this thesis, dynamic query evaluation is studied in a descriptive complexity framework independently introduced by Dong, Su and Topor (1992, 1993) and by Patnaik and Immerman (1994). In this framework, for a relational database subject to change, auxiliary relations are maintained with the intention to help answering a query. When a modification to the database, that is, an insertion or deletion of a tuple, occurs, every auxiliary relation is updated through a first-order query that can refer to both, the database and the auxiliary relations. Our main objective is to advance the understanding of the power of the dynamic descriptive complexity framework. We contribute by (a) providing new methods for proving in-expressibility in this dynamic context, and by (b) exploring the structure of small dynamic descriptive complexity classes and their relation to static complexity classes. One of our contributions to the latter aspect helps to confirm the conjecture by Patnaik and Immerman (1997) that reachability can be maintained by first-order update formulas. This has been one of the major open questions in this area.
Identifiers
- NobleID
- NI8P88W58R19S07
Discussion
Citations
Topics
Details
- Published
- 1 Jan 2015
- Publisher
- Erich-Brost-Institut
- Language
- EN