In many modern data management scenarios, data is subject to frequent changes. In order to avoid costly re-computing query answers from scratch after each small update, one can try to use auxiliary relations that have been computed before. Of course, the auxiliary relations need to be updated dynamically whenever the data changes. Dynamic complexity theory studies which queries and auxiliary relations can be updated in a highly parallel fashion, that is, by constant-depth circuits or, equivalently, by first-order formulas or the relational algebra. After gently introducing dynamic complexity theory, I will discuss recent results of the area with a focus on the dynamic complexity of the reachability query.
@InProceedings{zeume:LIPIcs.ICDT.2018.3, author = {Zeume, Thomas}, title = {{An Update on Dynamic Complexity Theory}}, booktitle = {21st International Conference on Database Theory (ICDT 2018)}, pages = {3:1--3:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-063-7}, ISSN = {1868-8969}, year = {2018}, volume = {98}, editor = {Kimelfeld, Benny and Amsterdamer, Yael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2018.3}, URN = {urn:nbn:de:0030-drops-86117}, doi = {10.4230/LIPIcs.ICDT.2018.3}, annote = {Keywords: Dynamic descriptive complexity, SQL updates, Reachability} }
Feedback for Dagstuhl Publishing