Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts.

Muffy Thomas Phil Watson

Published in: Functional Programming (1990)

Keyphrases

rewrite rules
rewriting rules
transformation rules
consistency constraints
complex queries
management system
nearest neighbor
query optimization
relational model
sql queries