The rewriting calculus - Part I.

Horatiu Cirstea Claude Kirchner

Published in: Log. J. IGPL (2001)

Keyphrases

rewriting rules
rewrite rules
table of contents
query rewriting
algebraic structure
rewriting systems
relational calculus
queries using views
presburger arithmetic
formal language
artificial intelligence
knowledge representation
regular path queries
automated deduction