A Constraint-Based Model for 3D Spatial-Temporal Data Management