visualVK

摘要： 无损分解：若干张表进行自然连接能得到初始的表，但不一定保证保持函数依赖 保存函数依赖分解：若分解前后的两个闭包相互覆盖，则说明保持函数依赖 无损连接的判断： 方法一：定理 关系模式R(U，F)的一个分解，ρ={R1<U1,F1>,R2<U2,F2>}具有无损连接的充分必要条件是： U1∩U2→U1- 阅读全文

摘要： 阿姆斯特朗公理 自反律：X->Y则Y->X 增广率:A->D则AC->DC 分解率:A->BC则A->B,A->C 依赖关系： 平凡依赖：AB->B 非平方依赖：AB->C 部份依赖：AB->D,B->D 完全依赖：没有部份依赖就是完全依赖 范式 第一范式：每一个字段不能再分 不喜欢的事物还能再分， 阅读全文