Integration of Functions Defined with Rewriting Rules in Datalog.

Stéphane Grumbach

Published in: DOOD (1989)

Keyphrases

rewriting rules
expressive power
rewrite rules
relational calculus
query language
data exchange
structural properties
transformation rules