数据库保持依赖算法

数据库保持依赖算法

存在一个关系模式R,将此关系模式分解成{$R_i$},且i $\in${1,2,3,4,……n}

此关系模式对应有函数依赖 F

有如下算法(伪代码)判断是否该关系模式分解为保持依赖的:

​ for each $(α \to β) \in F$ //计算F中α在所有$R_i 上 的属性闭包 α^ +$

​ result := α

​ for each $R_i \in \{ R_i\}$

​ $t = (result\cap R_i) ^+ \cap R_i$

​ $result = result \cap t$

​ if $\beta \in result$

​ //$对于α\ to β函数依赖,α^+ 中存在β中的所有元素,即α\to β 成立$

​ continue

​ else

​ NO-depredent-preserving-decomposition