微函数依赖及其推理

• 作者: 刘显敏 孙纪舟 李建中 高宏
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 微函数依赖 提取函数 可满足性问题 蕴含问题 推理系统
• 年，卷（期）: 2016,（10）
• 所属期刊栏目: 数据科学与工程
• 页码范围: 2134-2148
• 页数: 15页
• 分类号: TP311
• 字数: 16706字
• 语种: 中文
• DOI: 10.11897/SP.J.1016.2016.02134

摘要

起初，作为一个数据库模式设计的工具，函数依赖理论得到了很多的关注，而在数据修复中，该理论并不是十分有效。近年来，针对不一致数据的检测和修复问题，更多的约束被提出来，包括条件函数依赖、修复规则以及编辑规则等。然而，这些方法都只关注了属性整体之间的依赖关系，而实际应用中的数据通常有属性部分之间的依赖关系。例如，某单位员工的工号前两位决定了其所属的部门，而此类依赖信息就被已有方法忽略。该文首先提出了一类更一般化的约束———微函数依赖，微函数依赖引入提取函数，用来表示属性的部分信息。利用提取函数之间的依赖关系，能够检测出更多的不一致数据。理论方面，该文首先研究了微函数依赖的可满足性问题和蕴含问题，然后提供了一个正确且完备的推理系统。最后，通过实验证实了微函数依赖能够在可接受的时间开销内检测出更多的错误数据。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李建中	哈尔滨工业大学计算机科学与技术学院	237	6003	33.0	72.0
2	高宏	哈尔滨工业大学计算机科学与技术学院	109	1574	18.0	36.0
3	刘显敏	哈尔滨工业大学软件学院	9	391	5.0	9.0
4	孙纪舟	哈尔滨工业大学计算机科学与技术学院	3	15	2.0	3.0