Small Dynamic Complexity Classes

An Investigation into Dynamic Descriptive Complexity

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Small Dynamic Complexity Classes by Thomas Zeume, Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Thomas Zeume ISBN: 9783662543146
Publisher: Springer Berlin Heidelberg Publication: February 15, 2017
Imprint: Springer Language: English
Author: Thomas Zeume
ISBN: 9783662543146
Publisher: Springer Berlin Heidelberg
Publication: February 15, 2017
Imprint: Springer
Language: English

"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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

"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.

More books from Springer Berlin Heidelberg

Cover of the book Advanced Cosmetic Otoplasty by Thomas Zeume
Cover of the book Plant Life of the Dolomites by Thomas Zeume
Cover of the book Springer Handbook of Marine Biotechnology by Thomas Zeume
Cover of the book Introduction to Autonomous Manipulation by Thomas Zeume
Cover of the book A Measure Theoretical Approach to Quantum Stochastic Processes by Thomas Zeume
Cover of the book The Seven Principles of WOM and Buzz Marketing by Thomas Zeume
Cover of the book JIMD Reports, Volume 27 by Thomas Zeume
Cover of the book Antibiotika bei Infektionen mit multiresistenten Erregern by Thomas Zeume
Cover of the book Complications and Mishaps in Anesthesia by Thomas Zeume
Cover of the book Unternehmen Zahnarztpraxis - die Bausteine des Erfolgs by Thomas Zeume
Cover of the book Practical Treatment Options for Chronic Pain in Children and Adolescents by Thomas Zeume
Cover of the book Kroatisch - Deutsch für die Pflege zu Hause by Thomas Zeume
Cover of the book Advances in Breast Cancer Detection by Thomas Zeume
Cover of the book Biopatent Law: European vs. US Patent Law by Thomas Zeume
Cover of the book Model Based Parameter Estimation by Thomas Zeume
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy