From Higher-Order to First-Order Rewriting.

Eduardo Bonelli Delia Kesner Alejandro Ríos

Published in: RTA (2001)

Keyphrases

higher order
high order
natural images
presburger arithmetic
conjunctive queries
query rewriting
conditional random fields
markov random field
low order
quantifier elimination
lower order
rewrite rules
rewriting rules
pairwise
datalog programs
rewriting systems
logic programming
databases
queries using views