微函数依赖及其推理

作     者：孙纪舟 李建中 高宏 刘显敏 SUN Ji-Zhou;LI Jian-Zhong;GAO Hong;LIU Xian-Min

作者机构：哈尔滨工业大学计算机科学与技术学院哈尔滨150001 哈尔滨工业大学软件学院哈尔滨150001 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2016年第39卷第10期

页      面：2134-2148页

核心收录：

学科分类：0810[工学-信息与通信工程] 0808[工学-电气工程] 0839[工学-网络空间安全] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

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

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

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