Temporal object-oriented database : data model, formalism and implementations