Rewriting Regular Inequalities (Extended Abstract).

Valentin M. Antimirov

Published in: FCT (1995)

Keyphrases

extended abstract
query rewriting
conjunctive queries
linear inequalities
rewrite rules
real time
planar graphs
elementary functions
computational complexity
context free
rewriting rules