Termination of String Rewriting Rules That Have One Pair of Overlaps.

Published in: RTA (2003)

Keyphrases

rewriting rules
rewrite rules
transformation rules
data structure
structural properties
sparql queries
pattern matching
regular expressions
database
database systems
expressive power
complex objects
graph model
relational calculus