中国科技论文在线

上传时间

2005年03月04日

刘国华，刘国华)， )，陈子军)，季文)，施伯乐)，黄冬梅)

计算机学报，2000，23（8）813～818，-0001，（）：

-1年11月30日

根据用户解释的特点和问题求解的需要扩充了图论中有向图的定义，使其结点既可以是普通的结点，又可以是一个有向图，并把用于表示用户解释的这种有向图称为GD2约束图。在此基础上，对不含冲突的用户解释表现于GD2约束图中的特征进行了抽取。最后，总结出用户解释不含冲突的充要条件并根据这个充要条件提出了一个时间复杂性为O（m×n）的多项式时间识别算法，同时还对算法的正确性和时间复杂性进行了证明和分析。

面向对象数据库,，规范化,，用户解释,，冲突

66浏览
0点赞
0收藏
0分享
115下载
0

引用

上传时间

2005年03月04日

【期刊论文】一种求解全部候选关键字的快速替换算法

刘国华，郝忠孝，陈子军

计算机学报，1998，21（10）：890～895，-0001，（）：

-1年11月30日

摘要

本文通过分析文献[2，3]中所提出的求解关系模式全部候选关键字的替换算法，找出了它们的共同缺陷，即算法每搜索一趟产生的后继候选关键字太少，要想求出全部候选关键字，需经过很多趟的搜索。在此基础上，提出了对替换算法从减少每一趟搜索中需要检查的FD个数和增加每一趟搜索产生的后继候选关键字两方面进行改进的基本思想。然后。以E，（X）为研究对象，讨论了实现这种改进思想的具体方法。并给出了相应的快速替换算法及其正确性、平均时间复杂性、最坏时间复杂性的证明和分析。

关系模式,，候选关键字,， EF(， x)， ,，替换算法.，

65浏览
0点赞
0收藏
0分享
85下载
0

引用

上传时间

2005年03月04日

【期刊论文】一个BCNF的多项式时间判定算法

刘国华，郝忠孝

计算机研究与发展，1998，35（4）：310～314，-0001，（）：

-1年11月30日

摘要

文中指出了文献[1]中对BCN F判定问题证明过程的错误之处，通过分析属于BCN F的关系模式的结构特点，给出了一个判定关系模式是否属于BCN F的多项式时间算法。

关系数据库,，范式,， BCN F,， N P2完全问题

76浏览
0点赞
0收藏
0分享
183下载
0

引用

上传时间

2005年03月04日

【期刊论文】空值环境下模板依赖(NTD)的研究

刘国华，郝忠孝，洪涛

计算机研究与发展，1994，31（8）：15～18，-0001，（）：

-1年11月30日

摘要

本文讨论了一类自身具有有效、完备公理系统的空值环境下的模板依赖，给出了模板依赖的强、弱保持条件。

空值环境,，模板依赖,，强保持,，弱保持

53浏览
0点赞
0收藏
0分享
82下载
0

引用

上传时间

2005年03月04日

【期刊论文】基于有向图的对象范式生成算法*

刘国华， +，汪卫，张亮，施伯乐

软件学报，2004，15（5）：730～740，-0001，（）：

-1年11月30日

摘要

对Tari等人提出的面向对象数据模型规范化理论的基本思想进行了介绍，分析了他们给出的对象范式生成方法，指出了这些方法所存在的问题。为了研究新的对象范式生成方法，对有向图顶点的含义进行了扩充，使其不仅可以是一个简单的顶点，还可以是一个有向图.基于这种扩充有向图，提出了一种对象范式生成算法，并给出了算法的时间复杂度分析和正确性证明。

面向对象数据模型，规范化，范式，有向图

74浏览
0点赞
0收藏
0分享
116下载
0

引用