On the Expressive Power of Stateless Ordered Restart-Delete Automata.
Friedrich OttoPublished in: Theory Comput. Syst. (2021)
Keyphrases
- expressive power
- query language
- first order logic
- random walk
- transitive closure
- relational algebra
- data complexity
- computational properties
- finite automata
- database
- regular expressions
- finite state machines
- finite state
- tree automata
- constraint query languages
- closure properties
- recursive queries
- data model
- databases