Modeling Spatio-Temporal Databases