Compiling Concurrent Rewriting onto the Rewrite Rule Machine.

Hitoshi Aida Joseph A. Goguen José Meseguer

Published in: CTRS (1990)

Keyphrases

rewrite rules
query rewriting
rewriting rules
termination analysis
association rules
data sets
active databases
real time
flowshop
databases
query optimization
rule sets
query answering
query execution
optimal solution
decision trees
neural network