Decidable Logics Combining Word Equations, Regular Expressions and Length Constraints.
Quang Loc LePublished in: CoRR (2018)
Keyphrases
- regular expressions
- regular path queries
- query containment
- tree automata
- pattern matching
- query language
- bit parallel
- finite automata
- expressive power
- xml schema
- monadic second order logic
- semistructured data
- deterministic finite automata
- graph databases
- co occurrence
- conjunctive queries
- decision procedures
- context free grammars
- regular languages
- structured data
- knowledge base