The simply typed rewriting calculus.

Horatiu Cirstea Claude Kirchner

Published in: WRLA (2000)

Keyphrases

lambda calculus
higher order
conjunctive queries
automated deduction
rewriting rules
database query languages
termination analysis
information retrieval
query rewriting
queries using views
real time
data sets
databases
website
special case