The rewriting calculus - Part II.

Horatiu Cirstea Claude Kirchner

Published in: Log. J. IGPL (2001)

Keyphrases

algebraic structure
presburger arithmetic
rewriting systems
conjunctive queries
query rewriting
rewrite rules
automated deduction
queries using views
rewriting rules
computer algebra
information retrieval
database
type checking
provably correct
formal language
logic programs
website
data mining