Verification of Rewrite Rules for Computation Tree Logics.

John Christopher McCabe-Dansted Mark Reynolds

Published in: TIME (2014)

Keyphrases

rewrite rules
rewriting rules
model checking
transformation rules
expressive power
tree structure
databases
index structure
complex queries
consistency constraints
database systems
multi dimensional
query optimization