iRho: an imperative rewriting calculus.

Luigi Liquori Bernard P. Serpette

Published in: Math. Struct. Comput. Sci. (2008)

Keyphrases

presburger arithmetic
algebraic structure
query rewriting
rewrite rules
computer algebra
rewriting rules
artificial intelligence
conjunctive queries
real time
queries using views
database
real world
datalog programs
formal language