微函数依赖及其推理孙纪舟李建中高宏.pptVIP

* 微函数依赖及其推理 孙纪舟、李建中、高宏、刘显敏 哈尔滨工业大学 NDBC2015, ChengDu, China Contents 4 什么是微函数依赖 1 2 3 微函数依赖的可满足性分析和蕴含分析 微函数依赖的公里系统 用微函数依赖检测错误 5 实验 什么是微函数依赖 函数依赖 条件函数依赖 微函数依赖 和已有约束类型的关系： 什么是微函数依赖 一个例子： [Eid]→[Name] [Position=‘Manager’, Dept]→[Name] [substr(Eid,1,2)]→[Dept] 什么是微函数依赖 一个例子： [Position=‘Manager’, Dept]→[Name] [isM(Position), i(Dept)]→[i(Name)] 其中，isM(x)= 1 x=‘Manager’ null x!=‘Manager’ 什么是微函数依赖 一个例子： [Eid]→[Name] [i(Eid)]→[i(Name)] 其中i是恒等函数，即i(x)=x 微函数依赖的可满足性分析 给定一个微函数依赖的集合Σ，判断是否存在一个非空关系实例r，使得r满足Σ NP-完全 是NP-难 属于NP 微函数依赖的蕴含分析 给定一个微函数依赖的集合Σ和一个微函数依赖φ，判断Σ是否蕴含φ，即对于任意满足Σ的关系实例r，r是否一定也满足φ CoNP-完全 是CoNP-难 属于CoNP 微函数依赖的公理系统 规则1：如果 ，则 规则2：如果 ，且 ，则 规则3：如果 ，则 规则4：如果 ，且 ，则 规则5： 用来表示 是否非空，即 =1表示 不为空， =null表示 为空 用来表示 是否为空，即 =1表示 为空， =null表示 不为空 用微函数依赖发现错误 基于排序的方法： 以F为关键字排序之后，在F上相等的元组聚集在一起 只需判断这部分元组的f值是否都相等 优化：例如有两条约束[f1,f2]→[f3]和 [f1] →[f4],只需要一次排序 实验结果 实验结果 Thank you！ * * * * * * * * * * * * * * * * * * * * * * * * * * *