Computer Science ›› 2012, Vol. 39 ›› Issue (4): 172-176.
Previous Articles Next Articles
Online:
Published:
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.
Key words: Modcl,Formal languages, I}cmporal data,Intcgrity constraints,Formal semantics
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2012/V39/I4/172
Cited