刘国华
从事关系数据库规范化理论的研究工作
个性化签名
- 姓名:刘国华
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
计算机软件
- 研究兴趣:从事关系数据库规范化理论的研究工作
刘国华,男,1966.6.9生,博士研究生,获博士学位,博士后,教授,博士生导师。于20世纪80年代末开始从事关系数据库规范化理论的研究工作,曾以主要参加人的身份参加过国家自然科学基金项目"空值环境下关系数据库数据依赖、规范化理论的研究"、黑龙江省自然科学基金重点项目"经典关系数据库中的难解问题研究"、黑龙江省自然科学基金项目"基于FD、MVD超图的关系数据库理论的研究"的研究工作,取得了丰硕的成果(在《计算机学报》、《计算机研究与发展》等权威期刊上发表相关学术论文近20篇,获得过多项省科技进步奖)。在攻读博士学位期间,又对Z.Tari等人于1997年提出的面向对象数据库规范化理论进行了深入研究,解决了他们的遗留问题,提出了一种基于有向图的面向对象数据库规范化方法,使该理论得到了完善。这些研究成果分别发表于《计算机学报》、《软件学报》和TOOLS_2000等国内权威期刊和国际学术会议论文集。在从事博士后研究工作中,参加了国家自然科学基金重点基金项目"电子图书馆相关关键技术"和国家863计划软件专项"基于Web服务的数据库新技术"的研究工作,主要研究XML数据的查询技术和XML数据的发布技术。
-
主页访问
2399
-
关注数
0
-
成果阅读
745
-
成果数
10
刘国华, 刘国华), ), 陈子军), 季文), 施伯乐), 黄冬梅)
计算机学报,2000,23(8)813~818,-0001,():
-1年11月30日
根据用户解释的特点和问题求解的需要扩充了图论中有向图的定义,使其结点既可以是普通的结点,又可以是一个有向图,并把用于表示用户解释的这种有向图称为GD2约束图。在此基础上,对不含冲突的用户解释表现于GD2约束图中的特征进行了抽取。最后,总结出用户解释不含冲突的充要条件并根据这个充要条件提出了一个时间复杂性为O(m×n)的多项式时间识别算法,同时还对算法的正确性和时间复杂性进行了证明和分析。
面向对象数据库,, 规范化,, 用户解释,, 冲突
-
64浏览
-
0点赞
-
0收藏
-
0分享
-
115下载
-
0评论
-
引用
刘国华, 郝忠孝, 陈子军
计算机学报,1998,21(10):890~895,-0001,():
-1年11月30日
本文通过分析文献[2,3]中所提出的求解关系模式全部候选关键字的替换算法,找出了它们的共同缺陷,即算法每搜索一趟产生的后继候选关键字太少,要想求出全部候选关键字,需经过很多趟的搜索。在此基础上,提出了对替换算法从减少每一趟搜索中需要检查的FD个数和增加每一趟搜索产生的后继候选关键字两方面进行改进的基本思想。然后。以E,(X)为研究对象,讨论了实现这种改进思想的具体方法。并给出了相应的快速替换算法及其正确性、平均时间复杂性、最坏时间复杂性的证明和分析。
关系模式,, 候选关键字,, EF(, x), ,, 替换算法.,
-
63浏览
-
0点赞
-
0收藏
-
0分享
-
85下载
-
0评论
-
引用
刘国华, 郝忠孝
计算机研究与发展,1998,35(4):310~314,-0001,():
-1年11月30日
文中指出了文献[1]中对BCN F判定问题证明过程的错误之处,通过分析属于BCN F的关系模式的结构特点,给出了一个判定关系模式是否属于BCN F的多项式时间算法。
关系数据库,, 范式,, BCN F,, N P2完全问题
-
75浏览
-
0点赞
-
0收藏
-
0分享
-
183下载
-
0评论
-
引用
刘国华, 郝忠孝, 洪涛
计算机研究与发展,1994,31(8):15~18,-0001,():
-1年11月30日
本文讨论了一类自身具有有效、完备公理系统的空值环境下的模板依赖,给出了模板依赖的强、弱保持条件。
空值环境,, 模板依赖,, 强保持,, 弱保持
-
52浏览
-
0点赞
-
0收藏
-
0分享
-
82下载
-
0评论
-
引用
刘国华, +, 汪卫, 张亮, 施伯乐
软件学报,2004,15(5):730~740,-0001,():
-1年11月30日
对Tari等人提出的面向对象数据模型规范化理论的基本思想进行了介绍,分析了他们给出的对象范式生成方法,指出了这些方法所存在的问题。为了研究新的对象范式生成方法,对有向图顶点的含义进行了扩充,使其不仅可以是一个简单的顶点,还可以是一个有向图.基于这种扩充有向图,提出了一种对象范式生成算法,并给出了算法的时间复杂度分析和正确性证明。
面向对象数据模型, 规范化, 范式, 有向图
-
74浏览
-
0点赞
-
0收藏
-
0分享
-
116下载
-
0评论
-
引用
刘国华, 郝忠孝
计算机研究与发展,1995,32(12):27~33,-0001,():
-1年11月30日
本文从分析主属性在关系模式中的特点出发,在模式矩阵及其分类的基础上,给出了一个基于矩阵的关系模式主属性的判定算法。
主属性,, 模式矩阵,, 判定算法
-
71浏览
-
0点赞
-
0收藏
-
0分享
-
61下载
-
0评论
-
引用
刘国华, 郝忠孝
计算机研究与发展,1994,31(6):1~5,-0001,():
-1年11月30日
本文对含有空值的多值依赖的强保持条件进行了深入讨论,对文[1]、[2]中的相应概念做了根本的修正。提出了新的含有空值的多值依赖强保持条件,论证了它的正确性。从而为进一步讨论不完全关系的理论和应用提供了一个可靠的条件.
空值,, 不完全关系,, 多值依赖,, 强保持,, 关系模式
-
103浏览
-
0点赞
-
0收藏
-
0分享
-
51下载
-
0评论
-
引用
刘国华, 郝忠孝, 唱江华
计算机研究与发展,1995,32(8):20~24,-0001,():
-1年11月30日
本文为了讨论FD集的简化和研究最优覆盖的多项式求法,对标准FD集进行了定义和讨论。同时,还定义了与它相关的几个概念,讨论了标准FD集F成为最小覆盖的充要条件及其它问题。
标准FD集,, 最小覆盖,, 纯型Er(, x), ,, 混合型EF(, x),
-
105浏览
-
0点赞
-
0收藏
-
0分享
-
47下载
-
0评论
-
引用
刘国华, 郝忠孝
计算机研究与发展,1995,32(2):27~33,-0001,():
-1年11月30日
文献[1]、[2]、[3]均明确指出,求一个关系模式的最小基数候选关键字问题是一个NP完全问题。作者在深入分析主属性在FD集、最小基数候选关键字关系模式和候选关键字集合中的结构特性的基础上,提出了同类属性集,同类主属性组集族,自由、半自由同类属性集等概念。在此基础上,给出了一个求关系模式最小基数候选关键字的O(n2p)级算法。
最小基数候选关键字,, 同类属性集,, 关系模式,, 数据库
-
86浏览
-
0点赞
-
0收藏
-
0分享
-
53下载
-
0评论
-
引用
【期刊论文】A GRAPH-THEORETIC APPROACH FOR RECOGNIZING THE USER INTERPRETATION WITHOUT CONFLICTS
刘国华, Liu Guohua, Ji Wenyun, Chen Zijun
,-0001,():
-1年11月30日
In this paper, in order to express the user interpretation (a set of user specified GD constraints, see[1])in terms of a directed graph, the definition of directed graph in graph theory is extended according to the characters of the user interpretation and the requirement of the problem, and the node in this directed graph may be either an ordinary node or a directed graph. The directed graph(having been extended)expressing the user interpretation is said to be a GD constraint graph. Based on these, the features of the GD constraint graph corresponding to the user interpretation without conflicts are extracted. Finally, the sufficient and necessary condition under which the user interpretation doesn’t contain conflicts is given, and a polynomial time recognition algorithm which time complexity is O(m n) is proposed on the basis of the sufficient and necessary condition, then, the correctness of the algorithm is proved and the time complexity of the algorithm is analyzed.
object-oriented database,, normalization,, user interpretation,, conflict
-
52浏览
-
0点赞
-
0收藏
-
0分享
-
57下载
-
0评论
-
引用