Interacting with Topological Invariants of Spatial Databases