Non-termination in Idempotent Semirings.

Peter Höfner Georg Struth

Published in: RelMiCS (2008)

Keyphrases

constraint satisfaction problems
arc consistency
morphological operators
rewrite systems
term rewriting
containment of conjunctive queries
geometrical interpretation
nearest neighbor
range searching
data sets
data structure
relational databases
query processing
query optimization
soft constraints