期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
8
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
属性集闭包求解算法的C++实现
被引量:
1
1
作者
汪韬
敬茂华
《电脑编程技巧与维护》
2012年第14期26-28,共3页
在关系数据理论中,属性集闭包的求解不仅是证明Armstrong公理系统的基础,也是关系数据库逻辑模式设计中各种模式分解算法的基础。研究了属性集闭包求解算法的机制,并利用VC++实现了该算法。
关键词
公理系统
关系
模式
函数依赖
属性
集
闭包
下载PDF
职称材料
偏序时态模式下规范覆盖问题
被引量:
3
2
作者
万静
邹积民
《计算机应用研究》
CSCD
北大核心
2011年第7期2473-2475,共3页
目前有效的多时间粒度时态数据库设计方法多针对全序时态模式,当时态模式的时态类型集为偏序集时,由于涉及时态类型间的最大下界等操作而使其难以实现。针对偏序时态模式的规范覆盖问题进行研究,提出了偏序TFD(时态函数依赖)集有限闭包...
目前有效的多时间粒度时态数据库设计方法多针对全序时态模式,当时态模式的时态类型集为偏序集时,由于涉及时态类型间的最大下界等操作而使其难以实现。针对偏序时态模式的规范覆盖问题进行研究,提出了偏序TFD(时态函数依赖)集有限闭包、偏序模式属性集有限闭包、偏序无冗余覆盖和偏序规范TFD集等概念,解决了偏序TFD成员籍问题;并给出了偏序TFD集的规范覆盖算法,对其正确性进行了证明,对算法的时间复杂度进行了分析。为偏序时态模式的综合范式分解问题研究奠定基础。
展开更多
关键词
多时间粒度
偏序
时态
模式
偏序模式属性集有限闭包
偏序
TFD
集
规范覆盖
下载PDF
职称材料
全序时态模式下函数依赖集的成员籍问题研究
被引量:
3
3
作者
万静
杨洪玉
郝忠孝
《高技术通讯》
EI
CAS
CSCD
北大核心
2009年第11期1148-1152,共5页
时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,...
时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础。
展开更多
关键词
多时间粒度
全序时态
模式
时态函数依赖(TFD)
成员籍
属性
集
在给定时态类型上的
闭包
下载PDF
职称材料
偏序集拟阵与广义拟阵的关系
4
作者
毛华
刘三阳
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2003年第1期1-3,共3页
研究了偏序集拟阵与广义拟阵的关系.利用偏序集拟阵秩闭包算子的性质与广义拟阵闭包算子性质的比较得出:偏序集拟阵为广义拟阵;通过广义拟阵自同构群的公理系统与偏序集拟阵相应性质的比较得出:广义拟阵不一定为偏序集拟阵.
关键词
偏序
集
拟阵
秩
闭包
算子
广义拟阵
自同构群
对偶理想
有限
集
互为支撑公理
下载PDF
职称材料
关系模式分解和设计的泛系研究及关系闭包的微机实现
5
作者
吴陈
《江苏理工大学学报(自然科学版)》
1998年第4期86-92,共7页
从泛系方法论的观点出发,对关系数据库理论的基本问题从新的角度进行了概括和分析,提出了一些有待深入探讨的问题.通过一个实例,说明了在关系模式的分解中是否蕴含了没有包括在内但可供选择和分析的子模式,以及这些子模式如何确定...
从泛系方法论的观点出发,对关系数据库理论的基本问题从新的角度进行了概括和分析,提出了一些有待深入探讨的问题.通过一个实例,说明了在关系模式的分解中是否蕴含了没有包括在内但可供选择和分析的子模式,以及这些子模式如何确定并求出.最后得到了一个判定定理.在这些分析讨论后,对关系理论中的核心问题之一——求属性子集的闭包,在与IBMPC兼容微机上,使用高级语言Pas-cal进行了程序设计.通过对一个实例进行运行,证明其效果很好.
展开更多
关键词
泛系方法论
关系
模式
属性
集
闭包
关系数据库
下载PDF
职称材料
时态类型集的封闭集
被引量:
5
6
作者
姚春龙
郝忠孝
《计算机工程》
CAS
CSCD
北大核心
2003年第2期35-37,共3页
好的数据库逻辑设计目标是消除数据冗余以及插入和删除异常。对于时态数据库,可以利用具有多时间粒度的时态函数依赖(TFDs)约束对时态数据库进行规范化。要进行有效的数据库设计,需要解决有限属性闭包和成员籍等一些有关TFD的问题...
好的数据库逻辑设计目标是消除数据冗余以及插入和删除异常。对于时态数据库,可以利用具有多时间粒度的时态函数依赖(TFDs)约束对时态数据库进行规范化。要进行有效的数据库设计,需要解决有限属性闭包和成员籍等一些有关TFD的问题。为了方便计算机对时态类型的处理和找到有效的解决TFD的相关问题的算法,该文提出了封闭时态类型集的概念,并且给出了一个求给定TFD集的封闭集的算法。
展开更多
关键词
时态类型
集
封闭
集
时态数据库
函数依赖
有限
属性
闭包
计算机
下载PDF
职称材料
关系模式下候选码求解方法研究
7
作者
黄文秀
施键兰
《福建电脑》
2011年第8期47-48,97,共3页
关系数据库的设计与应用要以规范化理论为指导。本文介绍了函数依赖及候选码在关系规范化理论中的重要性,分析了求解候选码的几种方法,分析比较了这几种方法的特点,并分别给出了具体实例。
关键词
关系
模式
候选码
函数依赖
规范化
属性
集
F
闭包
图论判定法
下载PDF
职称材料
最小函数依赖集Fmin求解算法研究及实现
8
作者
邸振山
《电脑编程技巧与维护》
2012年第18期14-15,21,共3页
函数依赖反映了现实世界中数据的完整性约束,对关系数据库的分析和设计起着重要的作用。最小函数依赖集和模式规范化是规范化理论和模式分解中的两个最重要概念。研究并实现了最小函数依赖集的求解算法。
关键词
关系数据库
模式
分解
最小函数依赖
集
属性
闭包
下载PDF
职称材料
题名
属性集闭包求解算法的C++实现
被引量:
1
1
作者
汪韬
敬茂华
机构
东北大学秦皇岛分校计算机与通信工程学院
出处
《电脑编程技巧与维护》
2012年第14期26-28,共3页
文摘
在关系数据理论中,属性集闭包的求解不仅是证明Armstrong公理系统的基础,也是关系数据库逻辑模式设计中各种模式分解算法的基础。研究了属性集闭包求解算法的机制,并利用VC++实现了该算法。
关键词
公理系统
关系
模式
函数依赖
属性
集
闭包
Keywords
Justice Systeom
Relation Schema
Functionally dependant
Closure of attribute sets
分类号
TP311.11 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
偏序时态模式下规范覆盖问题
被引量:
3
2
作者
万静
邹积民
机构
哈尔滨理工大学计算机科学与技术学院
出处
《计算机应用研究》
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 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
全序时态模式下函数依赖集的成员籍问题研究
被引量:
3
3
作者
万静
杨洪玉
郝忠孝
机构
哈尔滨理工大学计算机科学与技术学院
哈尔滨工业大学计算机科学与技术学院
出处
《高技术通讯》
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 [理学—基础数学]
下载PDF
职称材料
题名
偏序集拟阵与广义拟阵的关系
4
作者
毛华
刘三阳
机构
西安电子科技大学数学系
出处
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2003年第1期1-3,共3页
基金
国家自然科学基金资助项目(69972036)
陕西省自然科学基金资助项目(2000SL03)
文摘
研究了偏序集拟阵与广义拟阵的关系.利用偏序集拟阵秩闭包算子的性质与广义拟阵闭包算子性质的比较得出:偏序集拟阵为广义拟阵;通过广义拟阵自同构群的公理系统与偏序集拟阵相应性质的比较得出:广义拟阵不一定为偏序集拟阵.
关键词
偏序
集
拟阵
秩
闭包
算子
广义拟阵
自同构群
对偶理想
有限
集
互为支撑公理
Keywords
poset matroid
rank closure operator
greedoid
group
分类号
O157.5 [理学—基础数学]
下载PDF
职称材料
题名
关系模式分解和设计的泛系研究及关系闭包的微机实现
5
作者
吴陈
机构
华东船舶工业学院电子与信息系
出处
《江苏理工大学学报(自然科学版)》
1998年第4期86-92,共7页
基金
国家教委优秀青年教师基金
文摘
从泛系方法论的观点出发,对关系数据库理论的基本问题从新的角度进行了概括和分析,提出了一些有待深入探讨的问题.通过一个实例,说明了在关系模式的分解中是否蕴含了没有包括在内但可供选择和分析的子模式,以及这些子模式如何确定并求出.最后得到了一个判定定理.在这些分析讨论后,对关系理论中的核心问题之一——求属性子集的闭包,在与IBMPC兼容微机上,使用高级语言Pas-cal进行了程序设计.通过对一个实例进行运行,证明其效果很好.
关键词
泛系方法论
关系
模式
属性
集
闭包
关系数据库
Keywords
pansystem methodology
relational schema
attribute set
closure
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
时态类型集的封闭集
被引量:
5
6
作者
姚春龙
郝忠孝
机构
哈尔滨工业大学计算机科学与技术学院
齐齐哈尔大学计算机科学与技术系
哈尔滨理工大学计算机与控制学院
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第2期35-37,共3页
文摘
好的数据库逻辑设计目标是消除数据冗余以及插入和删除异常。对于时态数据库,可以利用具有多时间粒度的时态函数依赖(TFDs)约束对时态数据库进行规范化。要进行有效的数据库设计,需要解决有限属性闭包和成员籍等一些有关TFD的问题。为了方便计算机对时态类型的处理和找到有效的解决TFD的相关问题的算法,该文提出了封闭时态类型集的概念,并且给出了一个求给定TFD集的封闭集的算法。
关键词
时态类型
集
封闭
集
时态数据库
函数依赖
有限
属性
闭包
计算机
Keywords
Temporal database
Functional dependency (FD)
Finite closure of attributes
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
关系模式下候选码求解方法研究
7
作者
黄文秀
施键兰
机构
福建农林大学东方学院
出处
《福建电脑》
2011年第8期47-48,97,共3页
文摘
关系数据库的设计与应用要以规范化理论为指导。本文介绍了函数依赖及候选码在关系规范化理论中的重要性,分析了求解候选码的几种方法,分析比较了这几种方法的特点,并分别给出了具体实例。
关键词
关系
模式
候选码
函数依赖
规范化
属性
集
F
闭包
图论判定法
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
最小函数依赖集Fmin求解算法研究及实现
8
作者
邸振山
机构
秦皇岛市人力资源和社会保障局信息中心
出处
《电脑编程技巧与维护》
2012年第18期14-15,21,共3页
文摘
函数依赖反映了现实世界中数据的完整性约束,对关系数据库的分析和设计起着重要的作用。最小函数依赖集和模式规范化是规范化理论和模式分解中的两个最重要概念。研究并实现了最小函数依赖集的求解算法。
关键词
关系数据库
模式
分解
最小函数依赖
集
属性
闭包
Keywords
Relational Database
Scheme Decomposition
Fmin
Attribute Closure
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
属性集闭包求解算法的C++实现
汪韬
敬茂华
《电脑编程技巧与维护》
2012
1
下载PDF
职称材料
2
偏序时态模式下规范覆盖问题
万静
邹积民
《计算机应用研究》
CSCD
北大核心
2011
3
下载PDF
职称材料
3
全序时态模式下函数依赖集的成员籍问题研究
万静
杨洪玉
郝忠孝
《高技术通讯》
EI
CAS
CSCD
北大核心
2009
3
下载PDF
职称材料
4
偏序集拟阵与广义拟阵的关系
毛华
刘三阳
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2003
0
下载PDF
职称材料
5
关系模式分解和设计的泛系研究及关系闭包的微机实现
吴陈
《江苏理工大学学报(自然科学版)》
1998
0
下载PDF
职称材料
6
时态类型集的封闭集
姚春龙
郝忠孝
《计算机工程》
CAS
CSCD
北大核心
2003
5
下载PDF
职称材料
7
关系模式下候选码求解方法研究
黄文秀
施键兰
《福建电脑》
2011
0
下载PDF
职称材料
8
最小函数依赖集Fmin求解算法研究及实现
邸振山
《电脑编程技巧与维护》
2012
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部