Flowchart Programs, Regular Expressions, and Decidability of Polynomial Growth-Rate.
Amir M. Ben-AmramAviad PinelesPublished in: VPT@ETAPS (2016)
Keyphrases
- regular expressions
- growth rate
- pattern matching
- query language
- query containment
- finite automata
- semistructured data
- xml schema
- tree automata
- deterministic finite automata
- finite state machines
- query answering
- query evaluation
- regular path queries
- matching algorithm
- databases
- economic development
- highly correlated
- regular languages
- decision procedures
- xml documents
- graph databases
- context free grammars
- logic programs
- description logics
- nearest neighbor
- database systems