Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules.

Frédéric Voisin Michel Bidoit

Published in: COMPASS/ADT (1995)

Keyphrases

rewrite rules
rewriting rules
transformation rules
query optimization
consistency constraints
sql queries
data mining
case study
scale space
execution plan