Topological reasoning between complex regions in databases with frequent updates.