Modelling and reasoning in spatial databases : a deductive object-oriented approach