一个具有多时间粒度时态函数依赖集的成员籍算法-计算机研究与发展2002年03期-手机知网

一个具有多时间粒度时态函数依赖集的成员籍算法

哈尔滨工业大学计算机科学与工程系,哈尔滨工业大学计算机科学与工程系哈尔滨150001,齐齐哈尔大学计算机科学与技术系齐齐哈尔161006 ,哈尔滨150001,齐齐哈尔大学计算机科学与技术系齐齐哈尔161006,哈尔滨理工大学计算机与控制学院,哈尔滨150086 ; | 姚春龙郝忠孝

对于具有函数依赖 (FDs)约束的传统关系数据库规范化理论来说 ,判定一个 FD是否被给定 FD集所逻辑蕴涵 (即成员籍问题 )是非常重要的 ,这有助于设计有效的模式分解算法 .而对于具有时态函数依赖 (TFDs)约束的时态模式来说 ,由于多时间粒度的使用使成员籍问题的解决变得更加复杂 .由此讨论了时态类型的一些特性 ,并提出了有限决定集的概念 .基于求得属性的有限决定集 ,对每一个元素的左部属性集是单一属性的 TFD集给出了一个有效的成员籍算法和相关的正确性证明

机　构:

哈尔滨工业大学计算机科学与工程系,哈尔滨工业大学计算机科学与工程系哈尔滨150001,齐齐哈尔大学计算机科学与技术系齐齐哈尔161006 ,哈尔滨150001,齐齐哈尔大学计算机科学与技术系齐齐哈尔161006,哈尔滨理工大学计算机与控制学院,哈尔滨150086;

领　域:

计算机软件及计算机应用；

关键词:

时态数据库；关系模式；函数依赖(FD)；逻辑蕴涵；

格　式:

PDF原版；EPUB自适应版(需下载客户端)