Optimizing Regular Expressions via Rewrite-Guided Synthesis.
Jedidiah McClurgMiles ClaverJackson GarnerJake VossenJordan SchmergeMehmet E. BelviranliPublished in: PACT (2022)
Keyphrases
- regular expressions
- pattern matching
- finite automata
- query language
- tree automata
- semistructured data
- deterministic finite automata
- database
- regular path queries
- regular languages
- query evaluation
- matching algorithm
- xml schema
- graph databases
- database systems
- finite state machines
- context free grammars
- information extraction
- frequent sequences
- query processing
- knowledge base
- databases