Compositionality of Rewriting Rules with Conditions.

Nicolas Behr Jean Krivine

Published in: CoRR (2019)

Keyphrases

rewriting rules
rewrite rules
transformation rules
structural properties
data driven
database
object oriented
database management systems
black box
sparql queries