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

• 作者: 奚建清 苗德成
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 模型 形式语言 时态数据 完整性约束 形式语义
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 数据库与数据挖掘
• 页码范围: 172-176,204
• 分类号: TP301
• 字数: 6856字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.04.039

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	奚建清	华南理工大学计算机科学与工程学院	96	872	13.0	25.0
2	苗德成	韶关学院数学与信息科学学院	6	29	3.0	5.0