关系数据库中的函数依赖以及法则

一. 数据库中的函数依赖

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.