Algebraic Optimization of Combined Overlay Operations
Claus Dorenbeck and
Max Egenhofer Auto-Carto 10, Baltimore, MD,
D. Mark and D. White (eds.), pp. 296-312, March 1991.
Abstract
The operations necessary to combine map layers are formalized with
algebraic specifications. This shows that arithmetic operations
upon discrete spatial subdivisions are reduced to a single,
parametric overlay operation, the actual behavior of which is
determined by a value operation which combines the non-spatial
attributes of the individual cells of the corresponding layers. The
novel approach is the application of these formalisms to find more
efficient strategies for processing several overlay operations at
an implementation-independent level. Two particular strategies are
investigated: (1) the elimination of equivalent subexpressions to
reduce the complexity of the overlay operation and (2) the
integration of several overlay operations into a single one.