A Formal Design for Three-Dimensional Spatial Data in Database Systems