Title: A functional approach to user interfaces for a spatial database