Symbolic Solving of Extended Regular Expression Inequalities.

Matthias Keil Peter Thiemann

Published in: FSTTCS (2014)

Keyphrases

regular expressions
pattern matching
finite automata
query language
xml schema
semistructured data
sufficient conditions
combinatorial optimization
regular path queries
cost model
static analysis
string matching
high level
deterministic finite automata
approximate matching
query evaluation
domain knowledge