Polymorphic Rewriting Conserves Algebraic Confluence

Val Tannen Jean H. Gallier

Published in: Inf. Comput. (1994)

Keyphrases

rewriting rules
queries using views
conjunctive queries
rewriting systems
rewrite rules
rewrite systems
evolutionary algorithm
higher order
neural network
real world
genetic algorithm
query rewriting
algebraic structure