Normalization by Leftmost Innermost Rewriting.

Published in: CTRS (1992)

Keyphrases

normalization method
rewrite rules
rewriting rules
conjunctive queries
query rewriting
preprocessing
data mining
termination analysis
queries using views
real time
clustering algorithm
expert systems
presburger arithmetic