Regular expression containment: coinductive axiomatization and computational interpretation.
Fritz HengleinLasse NielsenPublished in: POPL (2011)
Keyphrases
- regular expressions
- regular path queries
- pattern matching
- semistructured databases
- query language
- query evaluation
- semistructured data
- xml schema
- finite automata
- static analysis
- string matching
- query containment
- databases
- high level
- data model
- cost model
- database
- deterministic finite automata
- approximate matching
- query optimization
- co occurrence