Autor(en): Zeume, Thomas
Titel: Small dynamic complexity classes
Sprache (ISO): en
Zusammenfassung: 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.
Schlagwörter: Dynamic complexity theory
Descriptive complexity
Incremental view maintenance
URI: http://hdl.handle.net/2003/34163
http://dx.doi.org/10.17877/DE290R-7806
Erscheinungsdatum: 2015
Enthalten in den Sammlungen:LS 01 Logik in der Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Dissertation.pdfDNB1.11 MBAdobe PDFÖffnen/Anzeigen


Diese Ressource ist urheberrechtlich geschützt.



Diese Ressource ist urheberrechtlich geschützt. rightsstatements.org