Formal transforming approach of spatiotemporal data from XML to object-oriented database | IEEE Conference Publication | IEEE Xplore