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

摘要：

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

关键词：模型、形式语言、时态数据、完整性约束、形式语义

所属期刊栏目：39

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61103038;广东省教育部产学研结合项目2010B090400335;韶关学院科研项目201020704

在线出版日期：2012-07-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：172-176,204