Earticle

Temporal data model ensures the correctness, validity and compability of data in temporal database, and temporal formal languages model describes the semantic specification of temporal database, both two are core and basis of temporal database system design and development. The paper has exploited the quo of temporal data models and temporal formal languages models, presented FTDM (Formal Temporal Data Model) and L (FTDM) over FTDM by denotation semantics methods. Referring to thinking of software reuse, this paper proposed the definition of languages reuse. Based on the previous works the authors further made temporal formal languages models family {Li} with its particular categorical properties analyzed in this paper by categorical methods, also demonstrated rigorously inherent relationships between temporal formal languages models in {Li}. Their works provided a category theoretic method with universality and flexible expansion for temporal formal languages models, meantime, proposed solid theoretical foundations for design and development of temporal database system.