• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Information Sciences: An International Journal >A logical design method for temporal databases based on the stability constraint and the generalization semantics
【24h】

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

机译：基于稳定性约束和泛化语义的时态数据库逻辑设计方法

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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. [References: 27]
机译：该领域的不同研究已经提出了各种时间功能依赖性。这些依赖关系的基本思想是通过包​​含时间状态来扩展功能依赖关系。它只是属性之间静态关系的反映。本文提出了一种新的动态依赖关系。我们给出了稳定性约束的概念并建立了完整的稳定性约束公理。泛化是重要的抽象语义。在本文中，类与子类之间的关系被视为方案约束。我们提出了继承依赖的概念，并证明了继承依赖的推理规则是正确和完整的。本文基于泛化语义和稳定性约束，建立了一系列时态数据库的设计方法。继承依赖性和稳定性约束的理论为类层次结构的语义一致提供了保证。 （C）2000 Elsevier Science Inc.保留所有权利。 [参考：27]

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号