Rewriting with Frobenius.

Filippo Bonchi Fabio Gadducci Aleks Kissinger Pawel Sobocinski Fabio Zanasi

Published in: LICS (2018)

Keyphrases

elliptic curve
rewrite rules
query rewriting
queries using views
rewriting rules
conjunctive queries
presburger arithmetic
rewriting systems
regular path queries
decision making
query optimization
databases
response time
xml documents
evolutionary algorithm
image processing
real world