微函数依赖及其推理

摘要：

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

关键词：微函数依赖、提取函数、可满足性问题、蕴含问题、推理系统

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：国家“九七三”重点基础研究发展规划项目基金2012CB316202;中央高校基本科研业务费专项资金HIT．NSRIF．201649;国家自然科学基金61502121资助．

在线出版日期：2016-11-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：2134-2148