A logical design method for temporal databases based on the stability constraint and the generalization semantics.