Spatiotemporal database formal semantic model and algebraic language

Most spatial databases manage efficiently objects that are valid at current time. Whenever a new value is inserted into databases, the old one should be deleted within this scheme. Up to date, there is rapid increasing of interest for spatiotemporal databases. Spatiotemporal databases support historical information as well as spatial management at the same time, so that they can be used in a various application areas such as geographic information system(GIS), automatic vehicle locations system(AVLS), and so on. In this paper, we suggest a spatiotemporal formal semantic model, algebraic language, and processing system. Comparing the results of previous researches, it is the first spatiotemporal algebraic processing system that supports the concept and representation of temporal expression and spatial one as well.