Text this: Designing multiple types of spatial and non spatial databases integration model using formal specification approach