"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. One of the contributions to the former aspect helped to confirm the conjecture by Patnaik and Immerman (1997) that reachability can be maintained by first-order update formulas.
Produktkennzeichnungen
ISBN-10
3662543133
ISBN-13
9783662543139
eBay Product ID (ePID)
232657211
Produkt Hauptmerkmale
Produktart
Lehrbuch
Sprache
Englisch
Anzahl der Seiten
160 Seiten
Verlag
Springer Berlin Heidelberg, Springer Berlin
Publikationsname
Small Dynamic Complexity Classes
Autor
Thomas Zeume
Format
Taschenbuch
Erscheinungsjahr
2017
Zusätzliche Produkteigenschaften
Hörbuch
No
Inhaltsbeschreibung
Paperback
Item Length
23cm
Item Height
8mm
Ausgabe
Ausgabe Nr. 1 des Jahres 17
Item Width
15cm
Nummer Innerhalb der Serie
10110
Buchreihe
Theoretical Computer Science And General Issues
Item Weight
254g
Best Selling in Textbooks
Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks