一种时态数据形式语言模型

数据模型是数据库技术发展的主线，时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状，初步探讨了时态数据模型的基本要素，建立了一种形式化时态数据模型;基于形式语言理论和形式语义学的指称语义方法，进一步建立了该时态数据模型的形式语言模型。应用时态数据形式语言模型定义了各类时态完整性约束的形式语义规则，深入分析了时态数据模型内在的时态语义联系，为时态数据模型的研究提供了一个便利、高效的形式化理论框架。