微函数依赖及其推理

摘要

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