A logical design method for temporal databases based on the stability constraint and the generalization semantics

作     者：Liu, WY Song, N 

作者机构：Yunnan Univ Dept Comp Sci Kunming 650091 Peoples R China Kunming Univ Sci & Technol Dept Met Kunming 650093 Peoples R China 

出 版 物：《INFORMATION SCIENCES》 (信息科学)

年 卷 期：2000年第124卷第1-4期

页      面：153-171页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：temporal database relational model object-oriented method inheritance dependency stability constraint 

摘      要：Various temporal functional dependencies have already been proposed by different researches in the field. The basic idea of these dependencies is to extend the functional dependency by including a time state. It is only the reflection of static relationship among attributes. This paper presents a new dynamic dependency. We give the concept of the stability constraint and established complete axioms for stability constraints, Generalization is an important abstract semantics. In this paper, the relationship between the class and the subclass is regarded as a scheme constraint. We present the concept of the inheritance dependency and show that the inference rules for inheritance dependencies are correct and complete. In this paper, we set up a series of design methods for temporal databases based on the generalization semantics and the stability constraint. The theory of the inheritance dependency and the stability constraint provide the guarantee for the semantic unanimity of the class hierarchy. (C) 2000 Elsevier Science Inc. All rights reserved.