Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints.
Yunhui ZhengVijay GaneshSanu SubramanianOmer TrippJulian DolbyXiangyu ZhangPublished in: CAV (1) (2015)
Keyphrases
- regular expressions
- pattern matching
- regular path queries
- tree automata
- search space pruning
- finite automata
- xml schema
- semistructured data
- query language
- string matching
- context free grammars
- deterministic finite automata
- query evaluation
- matching algorithm
- object oriented
- xml documents
- conjunctive regular path queries