Formal classification of integrity constraints in spatiotemporal database applications