Expressive Power of Pebble Automata.
Mikolaj BojanczykMathias SamuelidesThomas SchwentickLuc SegoufinPublished in: ICALP (1) (2006)
Keyphrases
- expressive power
- query language
- first order logic
- finite automata
- computational properties
- data complexity
- cellular automata
- regular expressions
- finite state machines
- relational algebra
- transitive closure
- finite state
- tree automata
- constraint query languages
- database technology
- data model
- expert systems
- relational calculus
- recursive queries
- closure properties
- relation algebra
- search algorithm