Call-by-Value lambda-Graph Rewriting Without Rewriting.

Maribel Fernández Ian Mackie

Published in: ICGT (2002)

Keyphrases

rewriting systems
rewriting rules
rewrite rules
conjunctive queries
query rewriting
datalog programs
data sets
integrity constraints
graph structure
graph model
queries using views
termination analysis
regular path queries
transformation rules
bipartite graph
special case
data model