-
题名时态类型集的封闭集
被引量：5
- 1
-
-
作者
姚春龙
郝忠孝
-
机构
哈尔滨工业大学计算机科学与技术学院
齐齐哈尔大学计算机科学与技术系
哈尔滨理工大学计算机与控制学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第2期35-37,共3页
-
文摘
好的数据库逻辑设计目标是消除数据冗余以及插入和删除异常。对于时态数据库，可以利用具有多时间粒度的时态函数依赖（TFDs）约束对时态数据库进行规范化。要进行有效的数据库设计，需要解决有限属性闭包和成员籍等一些有关TFD的问题。为了方便计算机对时态类型的处理和找到有效的解决TFD的相关问题的算法，该文提出了封闭时态类型集的概念，并且给出了一个求给定TFD集的封闭集的算法。
-
关键词
时态类型集
封闭集
时态数据库
函数依赖
有限属性闭包
计算机
-
Keywords
Temporal database
Functional dependency (FD)
Finite closure of attributes
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名全序时态模式下函数依赖集的成员籍问题研究
被引量：3
- 2
-
-
作者
万静
杨洪玉
郝忠孝
-
机构
哈尔滨理工大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院
-
出处
《高技术通讯》
EI
CAS
CSCD
北大核心
2009年第11期1148-1152,共5页
-
基金
黑龙江省自然科学基金(F200601)资助项目
-
文摘
时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础。
-
关键词
多时间粒度
全序时态模式
时态函数依赖(TFD)
成员籍
属性集在给定时态类型上的闭包
-
Keywords
multiple time granularities, totally-ordered temporal scheme, temporal functional dependency （TFD）, membership, attribute sets＇ closure on a certain temporal type
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
O152
[理学—基础数学]
-
-
题名偏序时态模式下规范覆盖问题
被引量：3
- 3
-
-
作者
万静
邹积民
-
机构
哈尔滨理工大学计算机科学与技术学院
-
出处
《计算机应用研究》
CSCD
北大核心
2011年第7期2473-2475,共3页
-
基金
黑龙江省自然科学基金资助项目(F201014)
-
文摘
目前有效的多时间粒度时态数据库设计方法多针对全序时态模式,当时态模式的时态类型集为偏序集时,由于涉及时态类型间的最大下界等操作而使其难以实现。针对偏序时态模式的规范覆盖问题进行研究,提出了偏序TFD(时态函数依赖)集有限闭包、偏序模式属性集有限闭包、偏序无冗余覆盖和偏序规范TFD集等概念,解决了偏序TFD成员籍问题;并给出了偏序TFD集的规范覆盖算法,对其正确性进行了证明,对算法的时间复杂度进行了分析。为偏序时态模式的综合范式分解问题研究奠定基础。
-
关键词
多时间粒度
偏序时态模式
偏序模式属性集有限闭包
偏序TFD集规范覆盖
-
Keywords
multiple time granularities
partial-order temporal scheme
partial-order scheme attribute set limited closure
partial-order TFD set＇ s canonical cover
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
