Keyphrases
- regular expressions
- string matching
- logical reasoning
- rewriting rules
- query rewriting
- pattern matching
- databases
- rewrite rules
- data structure
- case study
- database
- edit distance
- hamming distance
- context free grammars
- conjunctive queries
- approximate string matching
- regular path queries
- artificial intelligence
- logical operations
- logical rules
- termination analysis
- rewriting systems