Ramsey theory (2nd ed.)
Complexity models for incremental computation
Theoretical Computer Science - Special issue on dynamic and on-line algorithms
Journal of the ACM (JACM)
Dyn-FO: a parallel, dynamic complexity class
Journal of Computer and System Sciences - Special issue on principles of database systems
Dynamic tree isomorphism via first-order updates to a relational database
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Journal of Computer and System Sciences - Fourteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Introduction to Circuit Complexity: A Uniform Approach
Introduction to Circuit Complexity: A Uniform Approach
Deterministic FOIES are strictly weaker
Annals of Mathematics and Artificial Intelligence
Complete Problems for Dynamic Complexity Classes
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Dynamic Algorithms for the Dyck Languages
WADS '95 Proceedings of the 4th International Workshop on Algorithms and Data Structures
Incremental recomputation in local languages
Information and Computation
The dynamic complexity of transitive closure is in DynTC0
Theoretical Computer Science - Database theory
Efficient Incremental Validation of XML Documents
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Dynamic computational complexity
Dynamic computational complexity
Incremental validation of XML documents
ACM Transactions on Database Systems (TODS)
Dynamic Complexity Theory Revisited
Theory of Computing Systems
Proceedings of the 12th International Conference on Database Theory
Hi-index | 0.00 |
The article investigates the power of the dynamic complexity classes DynFO, DynQF, and DynPROP over string languages. The latter two classes contain problems that can be maintained using quantifier-free first-order updates, with and without auxiliary functions, respectively. It is shown that the languages maintainable in DynPROP are exactly the regular languages, even when allowing arbitrary precomputation. This enables lower bounds for DynPROP and separates DynPROP from DynQF and DynFO. Further, it is shown that any context-free language can be maintained in DynFO and a number of specific context-free languages, for example all Dyck-languages, are maintainable in DynQF. Furthermore, the dynamic complexity of regular tree languages is investigated and some results concerning arbitrary structures are obtained: There exist first-order definable properties which are not maintainable in DynPROP. On the other hand, any existential first-order property can be maintained in DynQF when allowing precomputation.