一. 数据库中的函数依赖
X ->Y的含义
X函数决定Y,或者Y函数依赖于X函数
平凡/非平凡的函数依赖
平凡的函数依赖要求Y是X的子集,就是自己决定自己或者自己的一部分.
如果Y不属于X,那么称为非平凡的函数依赖
完全依赖和部分依赖
完全依赖是指X决定Y,但是X的任意子集都不能决定Y,这就是完全依赖.反之,X的一部分就能决定Y,对于X->Y这个关系来说,就是部分依赖了.
传递依赖
A->B,B->C,那么有A->C,这就是传递依赖.
二.在函数依赖中的若干法则
A1. 自反律:
A2. 增广律: 若X→Y且Z(包含于)U,则 XZ→YZ;
A3. 传递律: 若X→Y, Y→Z,则 X→Z.
在A->B这一函数依赖中,左边的属性可以随意增加,右边的属性可以随意减少.
因为A决定B,那么增加任意属性依然可以决定B.