A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints.
Quang Loc LeMengda HePublished in: APLAS (2018)
Keyphrases
- regular expressions
- regular path queries
- pattern matching
- tree automata
- monadic second order logic
- finite automata
- semistructured data
- query language
- xml schema
- matching algorithm
- deterministic finite automata
- logic programming
- string matching
- regular languages
- query evaluation
- decision problems
- object oriented
- finite state machines
- data model
- computational complexity