Stratified Map Spaces: A Formal Basis for Multi-resolution Spatial Databases · Study