Text this: Designing Multiple Types of Spatial and Non Spatial Databases Integration Model Using Formal Specification Approach