第六章关系数据理论2022优秀文档.pptVIP

6.3数据依赖的公理系统;Armstrong公理系统;1.Armstrong公理系统;;(2)增广律:若X→Y为F所蕴含，且Z?U，则XZ→YZ为F所蕴含。

证：设X→Y为F所蕴含，且Z?U。

设RU，F的任一关系r中任意的两个元组t，s；

若t[XZ]=s[XZ]，则有t[X]=s[X]和t[Z]=s[Z]；

由X→Y，于是有t[Y]=s[Y]，所以t[YZ]=s[YZ]，所以XZ→YZ为F所蕴含.

增广律得证。;例:SL（Sno，Sdept，Sloc）

──────────────────

──────────────

若t[X]=s[X]，由于Y?X，有t[y]=s[y]，

被决定因素列没有a，则全改为b;

分解三：ND(Sno,Sdept)，NL(Sno,Sloc)

95001CSA

判断方法：第一步：造记录表；

关于模式分解无损连接性的判断算法

第三种分解方法具有无损连接性

具有无损连接性的分解保证不丢失信息

第二步：改记录表并判断。

第三种分解方法具有无损连接性

⒊分解既要保持函数依赖，又要具有无损连接性

(2)增广律:若X→Y为F所蕴含，且Z?U，则XZ→YZ为F所蕴含。;第六章关系数据理论;6.4模式的分解;关系模式分解的标准;6.4模式的分解;6.4模