Proving and disproving assertion rewrite rules with automated theorem provers.

Katell Morin-Allory Marc Boule Dominique Borrione Zeljko Zilic

Published in: HLDVT (2008)

Keyphrases

rewrite rules
automated theorem provers
term rewrite systems
computer algebra
transformation rules
rewriting rules
consistency constraints
sql queries
query optimization
complex queries
data driven
execution plan
equivalence classes
databases
theorem prover
data storage
viewpoint