| 一种时态数据形式语言模型 |
| |
| 引用本文： | 苗德成,奚建清.一种时态数据形式语言模型[J].计算机科学,2012,39(4):172-176. |
| |
| 作者姓名： | 苗德成 奚建清 |
| |
| 作者单位： | 1. 韶关学院数学与信息科学学院 韶关512005;华南理工大学计算机科学与工程学院 广州 510640
2. 华南理工大学计算机科学与工程学院 广州 510640 |
| |
| 基金项目： | 国家自然科学基金，广东省教育部产学研结合项目，韶关学院科研项目 |
| |
| 摘 要： | 数据模型是数据库技术发展的主线,时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状,初步探讨了时态数据模型的基本要素,建立了一种形式化时态数据模型;基于形式语言理论和形式语义学的指称语义方法,进一步建立了该时态数据模型的形式语言模型。应用时态数据形式语言模型定义了各类时态完整性约束的形式语义规则,深入分析了时态数据模型内在的时态语义联系,为时态数据模型的研究提供了一个便利、高效的形式化理论框架。
|
| 关 键 词： | 模型 形式语言 时态数据 完整性约束 形式语义 |
Formal Languages Model for Temporal Data |
| |
| MIAO De-cheng
,
XI Jian-qing.Formal Languages Model for Temporal Data[J].Computer Science,2012,39(4):172-176. |
| |
| Authors: | MIAO De-cheng XI Jian-qing |
| |
| Affiliation: | 2(School of Math and Information Science,Shaoguan University,Shaoguan 512005,China)1 (School of Computer Science and Engineering,South China University of Technology,Guangzhou 510640,China)2 |
| |
| Abstract: | Data model is the main clue of trends in database technology, and tempoaral data model is the core and basis
of temporal database system. This paper discussed preliminarily some basic elements of data model in accordance with
the status quo of temporal data model, made a temporal data model formalized, and further made a formal languages
model of this temporal data model based on formal languages theory and denotational semantics method of formal se-
mantics. By the formal languages model this paper defined some formal semantics rules for all kinds of temporal integrity
constraints, and deeply analyzed inherent temporal semantics relationships of temporal data model, which provides an ef-
ficient and convenient formalization theory framework for studying temporal data model. |
| |
| Keywords: | Modcl Formal languages I}cmporal data Intcgrity constraints Formal semantics |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
