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