Typed Nominal Rewriting.

Elliot Fairweather Maribel Fernández

Published in: ACM Trans. Comput. Log. (2018)

Keyphrases

higher order
rewrite rules
lambda calculus
query rewriting
rewriting rules
conjunctive queries
database
artificial intelligence
data structure
regular path queries
termination analysis
video sequences
queries using views
nominal attributes
datalog programs
genetic algorithm
databases
real time