A Rewriting Technique for Universal Polynomial Invariants.

Published in: Inf. Process. Lett. (1999)

Keyphrases

implicit polynomial
moment invariants
rewrite rules
feature extraction
conjunctive queries
affine invariant
query rewriting
low order
datalog programs
termination analysis
presburger arithmetic