The Rewriting Calculus as a Semantics of ELAN.

Horatiu Cirstea Claude Kirchner

Published in: ASIAN (1998)

Keyphrases

algebraic structure
formal language
database query languages
relational calculus
formal semantics

logic programming
process algebra
semantic information
proof theoretic

rewrite rules
np complete
conjunctive queries
type checking

schema mappings
computer algebra
query language
database