Ordered Rewriting and Confluence.

Ursula Martin Tobias Nipkow

Published in: CADE (1990)

Keyphrases

queries using views
real time
rewrite rules
rewriting rules
data sets
conjunctive queries
tree patterns
genetic algorithm
decision trees
query rewriting