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.

목차

Abstract
 1. Introduction
 2. Related Works
 3. Formal Temporal Data Model
  3.1. Time Model
  3.2. Formal Temporal Data Model
 4. Temporal Formal Languages Model
 5. Temporal Formal Language Models Family
  5.1. Languages Reuse
  5.2. Temporal Formal Languages Models Family
  5.3. Categorical Method of Complex Temporal Formal Languages Model
 6. Conclusions
 Acknowledgments
 References

키워드

저자

• Decheng Miao Jianqing Xi [ Institute of Information Science & Engineering, Institute of Computer Science & Engineering ]
• Jindian Su [ Shaoguan University, Shaoguan, China, South China University of Technology, Guangzhou, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Database Theory and Application

• 간기

  격월간

• pISSN

  2005-4270

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605