Login / Signup
Symbolic Solving of Extended Regular Expression Inequalities.
Matthias Keil
Peter Thiemann
Published in:
CoRR (2014)
Keyphrases
</>
regular expressions
pattern matching
finite automata
semistructured data
xml schema
cost model
high level
matching algorithm
string matching
query language
sufficient conditions
static analysis
databases
database systems
query evaluation