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