From rewrite rules to bisimulation congruences.

Published in: Theor. Comput. Sci. (2002)

Keyphrases

rewrite rules
rewriting rules
transformation rules
consistency constraints
sql queries
complex queries
viewpoint
management system
information retrieval systems
data distribution