一种用于识别不含冲突用户解释的算法

• 作者: 刘国华 季文赟 施伯乐 陈子军 黄冬梅
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 面向对象数据库 规范化 用户解释 冲突
• 年，卷（期）: 2000,（8）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 813-818
• 页数: 6页
• 分类号: TP311
• 字数: 4971字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2000.08.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘国华	复旦大学计算机科学系	132	953	15.0	23.0
3	施伯乐	复旦大学计算机科学系	188	4414	33.0	61.0
4	陈子军	复旦大学计算机科学系	40	202	7.0	12.0
10	季文赟	复旦大学计算机科学系	3	233	3.0	3.0
11	黄冬梅	复旦大学计算机科学系	3	41	3.0	3.0