Termination of Dependently Typed Rewrite Rules.

Jean-Pierre Jouannaud Jianqi Li

Published in: TLCA (2015)

Keyphrases

rewrite rules
term rewrite systems
rewriting rules
transformation rules
consistency constraints
sql queries
equivalence classes
query optimization
complex queries
data mining
web services
database systems
viewpoint
data management
building blocks