Loops of Superexponential Lengths in One-Rule String Rewriting.

Published in: RTA (2002)

Keyphrases

data structure
pattern matching
termination analysis
edit distance
active databases
queries using views
rewrite rules
query rewriting
association rules
context free grammars
knowledge base
string matching
suffix tree
suffix array
conjunctive queries
rewriting rules
rule sets
presburger arithmetic