- 博客(3)
- 收藏
- 关注
原创 BCNF分解算法
BCNF分解算法 存在一个关系模式R,并且此关系模式中存在α→βα→βα \to β 违反了BC范式分解条件 设 将此关系模式R 分解为 {R_i} ,其中 i 为1,2,3,4…..n BC分解算法如下所述: result = R R_1 = 空集 for i in 1,2,3,4....n if R_i 关系模式中有 α --> β 违反了 BC范式 ...
2018-05-27 20:49:06 11941 1
原创 数据库保持依赖算法
数据库保持依赖算法 存在一个关系模式R,将此关系模式分解成{RiRi R_i },且i ∈∈ \in{1,2,3,4,……n} 此关系模式对应有函数依赖 F 有如下算法(伪代码)判断是否该关系模式分解为保持依赖的: for each (α→β)∈F(α→β)∈F(α \to β) \in F //计算F中α在所有Ri上的属性闭包α+Ri上的属性闭包α+R_i 上 的属性...
2018-05-27 20:13:40 1834
原创 范式
范式 理解 相关定义: 范式定义:数据表设计时所符合的设计标准的级别 函数依赖理论 函数依赖: 属性集 α 决定属性集 β ,则称有函数依赖 α→βα→βα \to β 函数依赖的闭包 F+F+F^+: 由关系模式R直观得到的函数依赖F所推出的所有隐含的或未隐含的函数依赖的集合 逻辑蕴含: F能推出 原不直观存在于 函数依赖集F 中的函数依赖...
2018-05-27 17:37:16 169
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人