A Constraint-Based Spatial Extension to SQL